An introduction to definitions in ClauseBase.

Discusses the styling options that apply to defined terms, definitions and definition lists.

A "how to" on creating definitions in ClauseBase.