--- 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"