1.1 --- a/etc/isar-keywords-ZF.el Fri Jul 11 15:00:54 2003 +0200
1.2 +++ b/etc/isar-keywords-ZF.el Fri Jul 11 15:01:41 2003 +0200
1.3 @@ -119,6 +119,8 @@
1.4 "prop"
1.5 "pwd"
1.6 "qed"
1.7 + "quickcheck"
1.8 + "quickcheck_params"
1.9 "quit"
1.10 "realizability"
1.11 "realizers"
1.12 @@ -257,6 +259,7 @@
1.13 "print_trans_rules"
1.14 "prop"
1.15 "pwd"
1.16 + "quickcheck"
1.17 "remove_thy"
1.18 "term"
1.19 "thm"
1.20 @@ -321,6 +324,7 @@
1.21 "primrec"
1.22 "print_ast_translation"
1.23 "print_translation"
1.24 + "quickcheck_params"
1.25 "realizability"
1.26 "realizers"
1.27 "rep_datatype"