| changeset 7038 | e01513f1390a |
| parent 6914 | ad689270a265 |
| child 7143 | 9c02848c5404 |
--- a/src/HOL/Main.thy Mon Jul 19 15:32:14 1999 +0200 +++ b/src/HOL/Main.thy Mon Jul 19 15:35:42 1999 +0200 @@ -1,4 +1,4 @@ (*theory Main includes everything*) -Main = IntDiv + Map + Recdef + Record + RelPow + Sexp + String + Calculation +Main = NatBin + Map + Recdef + Record + RelPow + Sexp + String + Calculation