# HG changeset patch
# User wenzelm
# Date 969041916 -7200
# Node ID 8414454c8e116703bb7a32394406df6bc05e2486
# Parent  b06f6d2eef5f53bda1244eddb703a5816971868a
tuned;

diff -r b06f6d2eef5f -r 8414454c8e11 lib/Tools/fixsome
--- a/lib/Tools/fixsome	Fri Sep 15 20:18:08 2000 +0200
+++ b/lib/Tools/fixsome	Fri Sep 15 20:18:36 2000 +0200
@@ -16,7 +16,7 @@
   echo
   echo "Usage: $PRG [FILES|DIRS...]"
   echo
-  echo "  Recursively find .thy and .ML files, fixing theorem names related"
+  echo "  Recursively find .thy/.ML files, fixing theorem names related"
   echo "  to SOME (Eps) in HOL."
   echo
   echo "  Renames old versions of FILES by appending \"~~\"."
@@ -37,4 +37,5 @@
 #set by configure
 AUTO_PERL=perl
 
-find $SPECS "(" -name \*.thy -o -name \*.ML ")" -print | xargs "$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/fixsome.pl"
+find $SPECS \( -name \*.ML -o -name \*.thy \) -print | \
+  xargs "$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/fixsome.pl"