# HG changeset patch
# User bulwahn
# Date 1324399215 -3600
# Node ID f4f22d87e364094fafe96751d12829b07f5f93b9
# Parent  cd4243c025bb3c02ae73d36ae1ae66357d98e01b
added keywords

diff -r cd4243c025bb -r f4f22d87e364 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Tue Dec 20 17:39:56 2011 +0100
+++ b/etc/isar-keywords.el	Tue Dec 20 17:40:15 2011 +0100
@@ -196,6 +196,7 @@
     "pwd"
     "qed"
     "quickcheck"
+    "quickcheck_generator"
     "quickcheck_params"
     "quit"
     "quotient_definition"
@@ -505,6 +506,7 @@
     "primrec"
     "print_ast_translation"
     "print_translation"
+    "quickcheck_generator"
     "quickcheck_params"
     "quotient_definition"
     "realizability"