--- a/src/HOL/Tools/Nitpick/nitrox.ML Tue May 24 00:01:33 2011 +0200
+++ b/src/HOL/Tools/Nitpick/nitrox.ML Tue May 24 00:01:33 2011 +0200
@@ -2,7 +2,7 @@
Author: Jasmin Blanchette, TU Muenchen
Copyright 2010, 2011
-Finite model generation for TPTP first-order formulas via Nitpick.
+Finite model generation for TPTP first-order formulas (FOF and CNF) via Nitpick.
*)
signature NITROX =
@@ -182,8 +182,7 @@
*)
val state = Proof.init @{context}
val params =
- [("card iota", "1\<midarrow>100"),
- ("card", "1\<midarrow>8"),
+ [("card", "1\<emdash>8"),
("box", "false"),
("sat_solver", "smart"),
("max_threads", "1"),