tuned comment;
authorwenzelm
Tue Oct 05 18:16:26 1999 +0200 (1999-10-05)
changeset 7739bfe45b716dfc
parent 7738 e17ccb79db68
child 7740 2fbe5ce9845f
tuned comment;
src/HOL/ROOT.ML
     1.1 --- a/src/HOL/ROOT.ML	Tue Oct 05 16:55:13 1999 +0200
     1.2 +++ b/src/HOL/ROOT.ML	Tue Oct 05 18:16:26 1999 +0200
     1.3 @@ -3,8 +3,7 @@
     1.4      Author:     Tobias Nipkow
     1.5      Copyright   1993  University of Cambridge
     1.6  
     1.7 -Adds Classical Higher-order Logic to a database containing Pure Isabelle.
     1.8 -Should be executed in the subdirectory HOL.
     1.9 +Classical Higher-order Logic.
    1.10  *)
    1.11  
    1.12  val banner = "Higher-Order Logic";