Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Nitpick/nitpick.ML
changeset 61310 9a50ea544fd3
parent 60948 b710a5087116
child 61315 a48388351990 
--- a/src/HOL/Tools/Nitpick/nitpick.ML	Fri Oct 02 20:28:56 2015 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick.ML	Fri Oct 02 21:06:32 2015 +0200
@@ -636,7 +636,7 @@
                (if genuine then
                   if falsify then "CounterSatisfiable" else "Satisfiable"
                 else
-                  "Unknown") ^ "\n" ^
+                  "GaveUp") ^ "\n" ^
                "% SZS output start FiniteModel")
         val (reconstructed_model, codatatypes_ok) =
           reconstruct_hol_model
isabelle