*** MESSAGE REFERS TO PREVIOUS VERSION ***
@{theory}: plain ML_Context.the_context();

--- a/src/Pure/Thy/thy_info.ML	Sun Jan 21 16:46:06 2007 +0100
+++ b/src/Pure/Thy/thy_info.ML	Sun Jan 21 16:46:40 2007 +0100
@@ -496,7 +496,6 @@
 
 val _ = register_theory ProtoPure.thy;
 
-
 (*final declarations of this structure*)
 val theory = get_theory;
 val names = get_names;