doc-src/IsarRef/Thy/document/Framework.tex
changeset 42651 e3fdb7c96be5
parent 42626 6ac8c55c657e
child 42666 fee67c099d03
--- a/doc-src/IsarRef/Thy/document/Framework.tex	Tue May 03 14:23:40 2011 +0200
+++ b/doc-src/IsarRef/Thy/document/Framework.tex	Tue May 03 15:07:36 2011 +0200
@@ -9,7 +9,7 @@
 \isatagtheory
 \isacommand{theory}\isamarkupfalse%
 \ Framework\isanewline
-\isakeyword{imports}\ Main\isanewline
+\isakeyword{imports}\ Base\ Main\isanewline
 \isakeyword{begin}%
 \endisatagtheory
 {\isafoldtheory}%