lib/scripts/fixsome.pl

--- 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 {