src/Pure/Thy/thy_info.ML
changeset 3997 42062f636bdf
parent 3976 1030dd79720b
child 4111 93baba60ece2
     1.1 --- a/src/Pure/Thy/thy_info.ML	Fri Oct 24 17:18:00 1997 +0200
     1.2 +++ b/src/Pure/Thy/thy_info.ML	Fri Oct 24 17:18:25 1997 +0200
     1.3 @@ -84,9 +84,9 @@
     1.4  (*preloaded theories*)
     1.5  val loaded_thys =
     1.6    ref (Symtab.make (map mk_info
     1.7 -    [("ProtoPure", ["Pure", "CPure"], [], Theory.proto_pure),
     1.8 -     ("Pure", [], ["ProtoPure"], Theory.pure),
     1.9 -     ("CPure", [], ["ProtoPure"], Theory.cpure)]));
    1.10 +    [("ProtoPure", ["Pure", "CPure"], [], ProtoPure.thy),
    1.11 +     ("Pure", [], ["ProtoPure"], Pure.thy),
    1.12 +     ("CPure", [], ["ProtoPure"], CPure.thy)]));
    1.13  
    1.14  
    1.15  (* retrieve info *)