# HG changeset patch
# User wenzelm
# Date 939140186 -7200
# Node ID bfe45b716dfcba9ccc0e3aa14ea9d8f19acd2d54
# Parent  e17ccb79db68b92663f8dd5eae172915eed78c92
tuned comment;

diff -r e17ccb79db68 -r bfe45b716dfc src/HOL/ROOT.ML
--- a/src/HOL/ROOT.ML	Tue Oct 05 16:55:13 1999 +0200
+++ b/src/HOL/ROOT.ML	Tue Oct 05 18:16:26 1999 +0200
@@ -3,8 +3,7 @@
     Author:     Tobias Nipkow
     Copyright   1993  University of Cambridge
 
-Adds Classical Higher-order Logic to a database containing Pure Isabelle.
-Should be executed in the subdirectory HOL.
+Classical Higher-order Logic.
 *)
 
 val banner = "Higher-Order Logic";