# HG changeset patch
# User berghofe
# Date 1057928501 -7200
# Node ID 7aa5b79daffbd54d4f89d19d2f81323e09140dce
# Parent  eaf3c75f2c8ec0f9cc80cd96bb2ad158aa76ec77
Added keywords for random testing.

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"
diff -r eaf3c75f2c8e -r 7aa5b79daffb etc/isar-keywords.el
--- a/etc/isar-keywords.el	Fri Jul 11 15:00:54 2003 +0200
+++ b/etc/isar-keywords.el	Fri Jul 11 15:01:41 2003 +0200
@@ -120,6 +120,8 @@
     "prop"
     "pwd"
     "qed"
+    "quickcheck"
+    "quickcheck_params"
     "quit"
     "realizability"
     "realizers"
@@ -277,6 +279,7 @@
     "print_trans_rules"
     "prop"
     "pwd"
+    "quickcheck"
     "remove_thy"
     "term"
     "thm"
@@ -343,6 +346,7 @@
     "primrec"
     "print_ast_translation"
     "print_translation"
+    "quickcheck_params"
     "realizability"
     "realizers"
     "recdef"