src/HOL/Main.thy
changeset 9650 6f0b89f2a1f9
parent 9619 6125cc9efc18
child 9768 a589b1d75b7b
     1.1 --- a/src/HOL/Main.thy	Fri Aug 18 12:34:48 2000 +0200
     1.2 +++ b/src/HOL/Main.thy	Fri Aug 18 17:53:49 2000 +0200
     1.3 @@ -2,4 +2,7 @@
     1.4  (*theory Main includes everything; note that theory
     1.5    PreList already includes most HOL theories*)
     1.6  
     1.7 -Main = Map + String
     1.8 +theory Main = Map + String:
     1.9 +
    1.10 +end
    1.11 +