[isabelle] How to mark up terms and descriptions?



Hi!

The Isabelle/Isar Reference Manual says that `\<^descr>` can be used to
mark up description list items. However, a description list item
contains two parts: a term and a description. How do you specify what
the term and what the description is?

All the best,
Wolfgang





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.