--- a/src/HOL/Main.thy Tue Jul 25 23:33:13 2000 +0200 +++ b/src/HOL/Main.thy Wed Jul 26 19:42:19 2000 +0200 @@ -1,1 +1,1 @@ -Main = Map + String (*theory Main includes everything*) +Main = While + Map + String (*theory Main includes everything*)