changeset 9619 | 6125cc9efc18 |
parent 9447 | e5180c869772 |
child 9650 | 6f0b89f2a1f9 |
--- a/src/HOL/Main.thy Thu Aug 17 10:33:13 2000 +0200 +++ b/src/HOL/Main.thy Thu Aug 17 10:33:37 2000 +0200 @@ -1,1 +1,5 @@ -Main = While + Map + String (*theory Main includes everything*) + +(*theory Main includes everything; note that theory + PreList already includes most HOL theories*) + +Main = Map + String