src/HOL/ROOT.ML
changeset 27368 9f90ac19e32b
parent 25964 080f89d89990
child 27421 7e458bd56860
     1.1 --- a/src/HOL/ROOT.ML	Thu Jun 26 10:06:54 2008 +0200
     1.2 +++ b/src/HOL/ROOT.ML	Thu Jun 26 10:07:01 2008 +0200
     1.3 @@ -1,7 +1,7 @@
     1.4  (*  Title:      HOL/ROOT.ML
     1.5      ID:         $Id$
     1.6   
     1.7 -Classical Higher-order Logic.
     1.8 +Classical Higher-order Logic -- batteries included.
     1.9  *)
    1.10  
    1.11  use_thy "Main";