src/HOL/Main.thy
changeset 8490 6e0f23304061
parent 7143 9c02848c5404
child 9447 e5180c869772
     1.1 --- a/src/HOL/Main.thy	Thu Mar 16 00:33:46 2000 +0100
     1.2 +++ b/src/HOL/Main.thy	Thu Mar 16 00:35:27 2000 +0100
     1.3 @@ -1,5 +1,1 @@
     1.4 -
     1.5 -(*theory Main includes everything*)
     1.6 -
     1.7 -Main = NatBin + Map + Recdef + Record + RelPow + Sexp + String + Calculation +
     1.8 -       SVC_Oracle
     1.9 +Main = Map + String             (*theory Main includes everything*)