src/HOL/Main.thy
changeset 9447 e5180c869772
parent 8490 6e0f23304061
child 9619 6125cc9efc18
     1.1 --- a/src/HOL/Main.thy	Tue Jul 25 23:33:13 2000 +0200
     1.2 +++ b/src/HOL/Main.thy	Wed Jul 26 19:42:19 2000 +0200
     1.3 @@ -1,1 +1,1 @@
     1.4 -Main = Map + String             (*theory Main includes everything*)
     1.5 +Main = While + Map + String             (*theory Main includes everything*)