--- a/src/Pure/Thy/thy_info.ML Thu Apr 21 22:00:28 2005 +0200
+++ b/src/Pure/Thy/thy_info.ML Thu Apr 21 22:02:06 2005 +0200
@@ -2,7 +2,8 @@
ID: $Id$
Author: Markus Wenzel, TU Muenchen
-Theory loader database, including theory and file dependencies.
+Main part of theory loader database, including handling of theory and
+file dependencies.
*)
signature BASIC_THY_INFO =
@@ -472,6 +473,8 @@
else (change_thys register; perform Update name)
end;
+val _ = register_theory ProtoPure.thy;
+
(*final declarations of this structure*)
val theory = get_theory;