Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Import/README
changeset 46800 9696218b02fe
parent 46799 f21494dc0bf6 
--- a/src/HOL/Import/README	Sat Mar 03 23:54:44 2012 +0100
+++ b/src/HOL/Import/README	Sun Mar 04 00:03:04 2012 +0100
@@ -2,7 +2,7 @@
 ATTENTION!  This is largely outdated.  The hint to PROOF_DIRS might be
 everything which is still relevant.
 
-All the files in this directory (except this README, HOL4.thy, and
+All the files in this directory (except this README, Importer.thy, and
 ROOT.ML) are automatically generated.  Edit the files in
 ../Generate-HOL and run "isabelle make HOL-Complex-Generate-HOL" in
 ~~/src/HOL, if something needs to be changed.
isabelle