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 14109 7aa5b79daffb
parent 13802 ebed89f74e59
child 14508 859b11514537 
--- a/etc/isar-keywords-ZF.el	Fri Jul 11 15:00:54 2003 +0200
+++ b/etc/isar-keywords-ZF.el	Fri Jul 11 15:01:41 2003 +0200
@@ -119,6 +119,8 @@
     "prop"
     "pwd"
     "qed"
+    "quickcheck"
+    "quickcheck_params"
     "quit"
     "realizability"
     "realizers"
@@ -257,6 +259,7 @@
     "print_trans_rules"
     "prop"
     "pwd"
+    "quickcheck"
     "remove_thy"
     "term"
     "thm"
@@ -321,6 +324,7 @@
     "primrec"
     "print_ast_translation"
     "print_translation"
+    "quickcheck_params"
     "realizability"
     "realizers"
     "rep_datatype"
isabelle