changeset 26961 | 290e1571c829 |
parent 26907 | 75466ad27dd7 |
child 27042 | 8fcf19f2168b |
--- a/doc-src/IsarRef/Thy/document/pure.tex Sun May 18 17:03:26 2008 +0200 +++ b/doc-src/IsarRef/Thy/document/pure.tex Sun May 18 17:04:48 2008 +0200 @@ -11,7 +11,7 @@ \isatagtheory \isacommand{theory}\isamarkupfalse% \ pure\isanewline -\isakeyword{imports}\ CPure\isanewline +\isakeyword{imports}\ Pure\isanewline \isakeyword{begin}% \endisatagtheory {\isafoldtheory}%