src/HOL/Main.thy
changeset 5126 01cbf154d926
parent 5123 97c1d5c7b701
child 5305 513925de8962
     1.1 --- a/src/HOL/Main.thy	Fri Jul 03 17:36:45 1998 +0200
     1.2 +++ b/src/HOL/Main.thy	Fri Jul 03 18:05:03 1998 +0200
     1.3 @@ -1,2 +1,4 @@
     1.4  
     1.5 -Main = Update + Map + Record + Bin + RelPow + Sexp + String
     1.6 +(*theory Main includes everything*)
     1.7 +
     1.8 +Main = Update + Map + Record + Bin + RelPow + Sexp + String + Recdef