--- a/src/HOL/Mutabelle/lib/Tools/mutabelle Fri Feb 10 17:10:49 2012 +0100
+++ b/src/HOL/Mutabelle/lib/Tools/mutabelle Sat Feb 11 11:36:21 2012 +0100
@@ -101,10 +101,10 @@
MutabelleExtra.quickcheck_mtd (Context.proof_map (Quickcheck.set_active_testers [\"narrowing\"]) #> Config.put Quickcheck.finite_types false) \"narrowing_no_finite_types\",
MutabelleExtra.quickcheck_mtd (Context.proof_map (Quickcheck.set_active_testers [\"narrowing\"]) #> Config.put Quickcheck.finite_types false
#> Context.proof_map (Quickcheck.map_test_params (apfst (K [@{typ nat}])))) \"narrowing_nat\"
-(*
-, MutabelleExtra.refute_mtd,
- MutabelleExtra.nitpick_mtd
-*)
+
+(*, MutabelleExtra.refute_mtd, *)
+ , MutabelleExtra.nitpick_mtd
+
]
*}