# HG changeset patch
# User wenzelm
# Date 969010486 -7200
# Node ID 264b16d934f983660c46460ef3294c23852824af
# Parent  179dad40babc4712962eb7bb647e1b271df5c974
fixed comment;

diff -r 179dad40babc -r 264b16d934f9 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 {