etc/isar-keywords-ZF.el
changeset 40965 54b6c9e1c157
parent 40960 9e54eb514a46
child 41229 d797baa3d57c
     1.1 --- a/etc/isar-keywords-ZF.el	Sun Dec 05 13:42:58 2010 +0100
     1.2 +++ b/etc/isar-keywords-ZF.el	Sun Dec 05 14:02:16 2010 +0100
     1.3 @@ -61,7 +61,6 @@
     1.4      "done"
     1.5      "enable_pr"
     1.6      "end"
     1.7 -    "example_proof"
     1.8      "exit"
     1.9      "extract"
    1.10      "extract_type"
    1.11 @@ -415,7 +414,6 @@
    1.12  
    1.13  (defconst isar-keywords-theory-goal
    1.14    '("corollary"
    1.15 -    "example_proof"
    1.16      "instance"
    1.17      "interpretation"
    1.18      "lemma"