--- a/src/Doc/JEdit/Base.thy	Wed Oct 30 21:23:47 2013 +0100
+++ b/src/Doc/JEdit/Base.thy	Thu Oct 31 16:10:35 2013 +0100
@@ -1,5 +1,5 @@
 theory Base
-imports Pure
+imports Main
 begin
 
 ML_file "../antiquote_setup.ML"
changeset 54354	4e6defdc24ac
parent 53769	036e80175bdd
child 56059	2390391584c2