etc/isar-keywords-ZF.el
changeset 31130 94cb206f8f6a
parent 31107 657386d94f14
child 32804 ca430e6aee1c
     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"