Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned comment;
authorwenzelm
Tue, 05 Oct 1999 18:16:26 +0200
changeset 7739 bfe45b716dfc
parent 7738 e17ccb79db68
child 7740 2fbe5ce9845f
tuned comment;
src/HOL/ROOT.ML file | annotate | diff | comparison | revisions 
--- 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";
isabelle