Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added label for section on terms.
authorberghofe
Fri, 28 Sep 2001 16:45:03 +0200
changeset 11623 9c95b6a76e15
parent 11622 27f858e70b3f
child 11624 8a45c7abef04
Added label for section on terms.
doc-src/Ref/theories.tex file | annotate | diff | comparison | revisions 
--- 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