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.
etc/isar-keywords-ZF.el
changeset 31130 94cb206f8f6a
parent 31107 657386d94f14
child 32804 ca430e6aee1c 
--- a/etc/isar-keywords-ZF.el	Tue May 12 21:17:47 2009 +0200
+++ b/etc/isar-keywords-ZF.el	Tue May 12 21:39:19 2009 +0200
@@ -155,8 +155,6 @@
     "prop"
     "pwd"
     "qed"
-    "quickcheck"
-    "quickcheck_params"
     "quit"
     "realizability"
     "realizers"
@@ -319,7 +317,6 @@
     "print_trans_rules"
     "prop"
     "pwd"
-    "quickcheck"
     "remove_thy"
     "term"
     "thm"
@@ -397,7 +394,6 @@
     "primrec"
     "print_ast_translation"
     "print_translation"
-    "quickcheck_params"
     "realizability"
     "realizers"
     "rep_datatype"
isabelle