[isabelle] How to mark up terms and descriptions?


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,

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