diff -r eaf3c75f2c8e -r 7aa5b79daffb etc/isar-keywords-ZF.el
--- 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"