--- a/src/HOL/Mutabelle/lib/Tools/mutabelle Mon Dec 20 15:19:15 2010 +0100
+++ b/src/HOL/Mutabelle/lib/Tools/mutabelle Mon Dec 20 15:24:25 2010 +0100
@@ -2,7 +2,7 @@
#
# Author: Lukas Bulwahn
#
-# DESCRIPTION: mutant-testing tool for counterexample generators and automated proof tools
+# DESCRIPTION: mutant-testing for counterexample generators and automated tools
PRG="$(basename "$0")"
@@ -16,7 +16,8 @@
echo " -T THEORY parent theory to use (default $DEFAULT_MUTABELLE_IMPORT_THEORY)"
echo " -O DIR output directory for test data (default $DEFAULT_MUTABELLE_OUTPUT_PATH)"
echo
- echo " THEORY is the name of the theory of which all theorems should be mutated and tested"
+ echo " THEORY is the name of the theory of which all theorems should be"
+ echo " mutated and tested."
echo
exit 1
}