src/Pure/pure.ML
changeset 6192 a42dbf1af868
parent 5905 68cdba6c178f
child 6313 6e4c7209ff39
--- a/src/Pure/pure.ML	Wed Feb 03 16:46:56 1999 +0100
+++ b/src/Pure/pure.ML	Wed Feb 03 16:47:37 1999 +0100
@@ -2,7 +2,7 @@
     ID:         $Id$
     Author:     Markus Wenzel, TU Muenchen
 
-Setup the actual Pure and CPure theories.
+Final setup of the Pure theories.
 *)
 
 local
@@ -33,8 +33,6 @@
   end;
 end;
 
-ThyInfo.loaded_thys :=
-  (Symtab.make (map ThyInfo.mk_info
-    [("ProtoPure", ["Pure", "CPure"], [], ProtoPure.thy),
-     ("Pure", [], ["ProtoPure"], Pure.thy),
-     ("CPure", [], ["ProtoPure"], CPure.thy)]));
+ThyInfo.register_theory ProtoPure.thy;
+ThyInfo.register_theory Pure.thy;
+ThyInfo.register_theory CPure.thy;