--- a/src/HOL/Mutabelle/lib/Tools/mutabelle Fri Jul 12 22:49:20 2013 +0200
+++ b/src/HOL/Mutabelle/lib/Tools/mutabelle Fri Jul 12 23:45:05 2013 +0200
@@ -133,7 +133,8 @@
# execution
-"$ISABELLE_PROCESS" -e 'use_thy "$MUTABELLE_OUTPUT_PATH/Mutabelle_Test"' -q "$MUTABELLE_LOGIC" > "$MUTABELLE_OUTPUT_PATH/err" 2>&1
+"$ISABELLE_PROCESS" -o auto_time_limit=10.0 \
+ -e 'use_thy "$MUTABELLE_OUTPUT_PATH/Mutabelle_Test"' -q "$MUTABELLE_LOGIC" > "$MUTABELLE_OUTPUT_PATH/err" 2>&1
[ $? -ne 0 ] && echo "isabelle processing of mutabelle failed"