1.1 --- a/etc/isar-keywords-ZF.el Tue May 12 21:17:47 2009 +0200
1.2 +++ b/etc/isar-keywords-ZF.el Tue May 12 21:39:19 2009 +0200
1.3 @@ -155,8 +155,6 @@
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 @@ -319,7 +317,6 @@
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 @@ -397,7 +394,6 @@
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"