Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/Ref/theories.tex
changeset 11623 9c95b6a76e15
parent 11052 1379e49c0ee9
child 19627 b07c46e67e2d 
--- a/doc-src/Ref/theories.tex	Fri Sep 28 16:44:27 2001 +0200
+++ b/doc-src/Ref/theories.tex	Fri Sep 28 16:45:03 2001 +0200
@@ -672,7 +672,7 @@
 \end{ttdescription}
 
 
-\section{Terms}
+\section{Terms}\label{sec:terms}
 \index{terms|bold}
 Terms belong to the \ML\ type \mltydx{term}, which is a concrete datatype
 with six constructors:
isabelle