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/IsarImplementation/Thy/document/locale.tex
changeset 20520 05fd007bdeb9
parent 20477 e623b0e30541 
--- a/doc-src/IsarImplementation/Thy/document/locale.tex	Tue Sep 12 17:23:34 2006 +0200
+++ b/doc-src/IsarImplementation/Thy/document/locale.tex	Tue Sep 12 17:45:58 2006 +0200
@@ -32,7 +32,7 @@
 \end{isamarkuptext}%
 \isamarkuptrue%
 %
-\isamarkupsection{Type-checking specifications%
+\isamarkupsection{Type-inference%
 }
 \isamarkuptrue%
 %
isabelle