theory Main includes everything;
authorwenzelm
Fri Jul 03 18:05:03 1998 +0200 (1998-07-03)
changeset 512601cbf154d926
parent 5125 463a0e9df5b5
child 5127 ef467e05da61
theory Main includes everything;
src/HOL/Main.thy
     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