Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ProtoPure.thy etc.;
authorwenzelm
Fri, 24 Oct 1997 17:18:25 +0200
changeset 3997 42062f636bdf
parent 3996 b7548325adc4
child 3998 6ec8d42082f1
ProtoPure.thy etc.;
src/Pure/Thy/thy_info.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/thy_info.ML	Fri Oct 24 17:18:00 1997 +0200
+++ b/src/Pure/Thy/thy_info.ML	Fri Oct 24 17:18:25 1997 +0200
@@ -84,9 +84,9 @@
 (*preloaded theories*)
 val loaded_thys =
   ref (Symtab.make (map mk_info
-    [("ProtoPure", ["Pure", "CPure"], [], Theory.proto_pure),
-     ("Pure", [], ["ProtoPure"], Theory.pure),
-     ("CPure", [], ["ProtoPure"], Theory.cpure)]));
+    [("ProtoPure", ["Pure", "CPure"], [], ProtoPure.thy),
+     ("Pure", [], ["ProtoPure"], Pure.thy),
+     ("CPure", [], ["ProtoPure"], CPure.thy)]));
 
 
 (* retrieve info *)
isabelle