changeset 10519 | ade64af4c57c |
parent 10386 | 581a5a143994 |
child 11483 | f4d10044a2cd |
--- a/src/HOL/Main.thy Fri Nov 24 14:09:09 2000 +0100 +++ b/src/HOL/Main.thy Fri Nov 24 16:49:27 2000 +0100 @@ -1,6 +1,11 @@ +(* Title: HOL/Main.thy + ID: $Id$ + Author: Tobias Nipkow + Copyright 2000 TU Muenchen -(*theory Main includes everything; note that theory - PreList already includes most HOL theories*) +Theory Main includes everything. +Note that theory PreList already includes most HOL theories. +*) theory Main = Map + String: