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.
fixed comment;
authorwenzelm
Fri, 15 Sep 2000 11:34:46 +0200
changeset 9968 264b16d934f9
parent 9967 179dad40babc
child 9969 4753185f1dd2
fixed comment;
lib/scripts/fixsome.pl file | annotate | diff | comparison | revisions 
--- a/lib/scripts/fixsome.pl	Fri Sep 15 11:27:45 2000 +0200
+++ b/lib/scripts/fixsome.pl	Fri Sep 15 11:34:46 2000 +0200
@@ -3,7 +3,7 @@
 # Author: Markus Wenzel, TU Muenchen
 # License: GPL (GNU GENERAL PUBLIC LICENSE)
 #
-# fixsome.pl - fix references to implicit claset and simpset
+# fixsome.pl - fix theorem names related to SOME (Eps) in HOL
 #
 
 sub fixsome {
isabelle