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 a section label
authorpaulson
Tue, 10 Oct 2000 12:31:00 +0200
changeset 10181 c07860c826c5
parent 10180 149878bae19c
child 10182 5413bcce1482
added a section label
doc-src/TutorialI/fp.tex file | annotate | diff | comparison | revisions 
--- a/doc-src/TutorialI/fp.tex	Mon Oct 09 20:05:49 2000 +0200
+++ b/doc-src/TutorialI/fp.tex	Tue Oct 10 12:31:00 2000 +0200
@@ -559,6 +559,7 @@
 \input{Recdef/document/termination.tex}
 
 \subsection{Simplification with recdef}
+\label{sec:recdef-simplification}
 
 \input{Recdef/document/simplification.tex}
isabelle