Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
improving mutabelle script again after missing some changes in f4896c792316
authorbulwahn
Fri, 21 Oct 2011 10:37:03 +0200
changeset 45227 f00a1aee5bc2
parent 45226 026a7619936f
child 45228 aa3ad19c05d5
child 45230 1b08942bb86f
improving mutabelle script again after missing some changes in f4896c792316
src/HOL/Mutabelle/lib/Tools/mutabelle file | annotate | diff | comparison | revisions 
--- a/src/HOL/Mutabelle/lib/Tools/mutabelle	Fri Oct 21 10:32:42 2011 +0200
+++ b/src/HOL/Mutabelle/lib/Tools/mutabelle	Fri Oct 21 10:37:03 2011 +0200
@@ -133,8 +133,9 @@
 
 mk_stat "quickcheck_random"
 mk_stat "quickcheck_exhaustive"
-mk_stat "quickcheck_exhaustive_nft"
+mk_stat "quickcheck_exhaustive_no_finite_types"
 mk_stat "quickcheck_narrowing"
+mk_stat "quickcheck_narrowing_no_finite_types"
 mk_stat "quickcheck_narrowing_nat"
 mk_stat "nitpick"
isabelle