src/HOL/Main.thy
changeset 26729 43a72d892594
parent 25964 080f89d89990
child 27367 a75d71c73362
     1.1 --- a/src/HOL/Main.thy	Tue Apr 22 08:33:09 2008 +0200
     1.2 +++ b/src/HOL/Main.thy	Tue Apr 22 08:33:10 2008 +0200
     1.3 @@ -8,11 +8,6 @@
     1.4  imports Map
     1.5  begin
     1.6  
     1.7 -text {*
     1.8 -  Theory @{text Main} includes everything.  Note that theory @{text
     1.9 -  PreList} already includes most HOL theories.
    1.10 -*}
    1.11 -
    1.12  ML {* val HOL_proofs = ! Proofterm.proofs *}
    1.13  
    1.14  ML {* path_add "~~/src/HOL/Library" *}