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/First_Order_Logic.tex
changeset 42651 e3fdb7c96be5
parent 40406 313a24b66a8d
child 45103 a45121ffcfcb 
--- a/doc-src/IsarRef/Thy/document/First_Order_Logic.tex	Tue May 03 14:23:40 2011 +0200
+++ b/doc-src/IsarRef/Thy/document/First_Order_Logic.tex	Tue May 03 15:07:36 2011 +0200
@@ -13,7 +13,7 @@
 \isatagvisible
 \isacommand{theory}\isamarkupfalse%
 \ First{\isaliteral{5F}{\isacharunderscore}}Order{\isaliteral{5F}{\isacharunderscore}}Logic\isanewline
-\isakeyword{imports}\ Pure\isanewline
+\isakeyword{imports}\ Base\ \ \isanewline
 \isakeyword{begin}%
 \endisatagvisible
 {\isafoldvisible}%
isabelle