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/intro.tex
changeset 26961 290e1571c829
parent 26912 0265353e4def
child 26987 978cefd606ad 
--- a/doc-src/IsarRef/Thy/document/intro.tex	Sun May 18 17:03:26 2008 +0200
+++ b/doc-src/IsarRef/Thy/document/intro.tex	Sun May 18 17:04:48 2008 +0200
@@ -11,7 +11,7 @@
 \isatagtheory
 \isacommand{theory}\isamarkupfalse%
 \ intro\isanewline
-\isakeyword{imports}\ CPure\isanewline
+\isakeyword{imports}\ Pure\isanewline
 \isakeyword{begin}%
 \endisatagtheory
 {\isafoldtheory}%
isabelle