src/HOL/Main.thy
changeset 6914 ad689270a265
parent 6779 2912aff958bd
child 7038 e01513f1390a
     1.1 --- a/src/HOL/Main.thy	Thu Jul 08 13:35:33 1999 +0200
     1.2 +++ b/src/HOL/Main.thy	Thu Jul 08 13:37:40 1999 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4  
     1.5  (*theory Main includes everything*)
     1.6  
     1.7 -Main = Bin + Map + Recdef + Record + RelPow + Sexp + String + Calculation
     1.8 +Main = IntDiv + Map + Recdef + Record + RelPow + Sexp + String + Calculation