
diff -r 50f42116ebdb -r cb6634eb8926 doc-src/IsarImplementation/Thy/Base.thy
--- a/doc-src/IsarImplementation/Thy/Base.thy	Wed Oct 13 11:15:15 2010 +0100
+++ b/doc-src/IsarImplementation/Thy/Base.thy	Wed Oct 13 13:05:23 2010 +0100
@@ -1,5 +1,5 @@
 theory Base
-imports Pure
+imports Main
 uses "../../antiquote_setup.ML"
 begin
 




