# HG changeset patch
# User wenzelm
# Date 1169394400 -3600
# Node ID b01e3e21f71010d51e6835115f1795edb48ff8ef
# Parent  7a8c2a556d28f8337c7aa694069c679248979cf4
*** MESSAGE REFERS TO PREVIOUS VERSION ***
@{theory}: plain ML_Context.the_context();

diff -r 7a8c2a556d28 -r b01e3e21f710 src/Pure/Thy/thy_info.ML
--- 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;