--- a/src/HOL/Mutabelle/mutabelle_extra.ML Tue Jun 07 11:24:54 2011 +0200
+++ b/src/HOL/Mutabelle/mutabelle_extra.ML Tue Jun 07 14:06:12 2011 +0200
@@ -510,7 +510,8 @@
"QC options = " ^
(*"quickcheck_generator: " ^ quickcheck_generator ^ ";*)
"size: " ^ string_of_int (Config.get ctxt Quickcheck.size) ^
- "; iterations: " ^ string_of_int (Config.get ctxt Quickcheck.iterations) ^ "\n");
+ "; iterations: " ^ string_of_int (Config.get ctxt Quickcheck.iterations) ^ "\n" ^
+ "Isabelle environment = ISABELLE_GHC: " ^ getenv "ISABELLE_GHC" ^ "\n");
map (File.append path o gen_string_for_entry o mutate_theorem gen_create_entry thy mtds) thms;
()
end