--- a/src/HOL/TPTP/MaSh_Eval.thy Wed Dec 12 00:14:58 2012 +0100
+++ b/src/HOL/TPTP/MaSh_Eval.thy Wed Dec 12 00:24:06 2012 +0100
@@ -17,7 +17,7 @@
declare [[sledgehammer_instantiate_inducts]]
ML {*
-! Multithreading.max_threads
+!Multithreading.max_threads
*}
ML {*