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