src/HOL/Main.thy
changeset 10519 ade64af4c57c
parent 10386 581a5a143994
child 11483 f4d10044a2cd
     1.1 --- a/src/HOL/Main.thy	Fri Nov 24 14:09:09 2000 +0100
     1.2 +++ b/src/HOL/Main.thy	Fri Nov 24 16:49:27 2000 +0100
     1.3 @@ -1,6 +1,11 @@
     1.4 +(*  Title:      HOL/Main.thy
     1.5 +    ID:         $Id$
     1.6 +    Author:     Tobias Nipkow
     1.7 +    Copyright   2000 TU Muenchen
     1.8  
     1.9 -(*theory Main includes everything; note that theory
    1.10 -  PreList already includes most HOL theories*)
    1.11 +Theory Main includes everything.
    1.12 +Note that theory PreList already includes most HOL theories.
    1.13 +*)
    1.14  
    1.15  theory Main = Map + String:
    1.16