--- a/src/HOL/Mirabelle/lib/Tools/mirabelle Tue Mar 06 17:01:37 2012 +0000
+++ b/src/HOL/Mirabelle/lib/Tools/mirabelle Wed Mar 07 13:00:30 2012 +0000
@@ -26,7 +26,7 @@
echo " -T THEORY parent theory to use (default $MIRABELLE_THEORY)"
echo " -O DIR output directory for test data (default $out)"
echo " -t TIMEOUT timeout for each action in seconds (default $timeout)"
- echo " -q be quiet (suppress output of Isabelle process)"
+ echo " -q be quiet (suppress output of Isabelle process)"
echo
echo " Apply the given actions (i.e., automated proof tools)"
echo " at all proof steps in the given theory files."