| changeset 51465 | c5c466706549 |
| parent 51393 | df0f306f030f |
| child 52045 | 90cd3c53a887 |
--- a/src/Doc/ProgProve/Types_and_funs.thy Wed Mar 20 11:16:31 2013 +0100 +++ b/src/Doc/ProgProve/Types_and_funs.thy Wed Mar 20 11:32:16 2013 +0100 @@ -16,6 +16,7 @@ Type synonyms are expanded after parsing and are not present in internal representation and output. They are mere conveniences for the reader. \subsection{Datatypes} +\label{sec:datatypes} The general form of a datatype definition looks like this: \begin{quote}