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/IsarRef/Thy/document/Symbols.tex
changeset 30130 e23770bc97c8
parent 29722 a06894e9b6e3
child 30172 afdf7808cfd0 
--- a/doc-src/IsarRef/Thy/document/Symbols.tex	Thu Feb 26 08:44:44 2009 -0800
+++ b/doc-src/IsarRef/Thy/document/Symbols.tex	Thu Feb 26 08:48:33 2009 -0800
@@ -20,7 +20,7 @@
 %
 \endisadelimtheory
 %
-\isamarkupchapter{Standard Isabelle symbols \label{app:symbols}%
+\isamarkupchapter{Predefined Isabelle symbols \label{app:symbols}%
 }
 \isamarkuptrue%
 %
isabelle