changeset 40965 | 54b6c9e1c157 |
parent 40960 | 9e54eb514a46 |
child 41229 | d797baa3d57c |
--- a/etc/isar-keywords-ZF.el Sun Dec 05 13:42:58 2010 +0100 +++ b/etc/isar-keywords-ZF.el Sun Dec 05 14:02:16 2010 +0100 @@ -61,7 +61,6 @@ "done" "enable_pr" "end" - "example_proof" "exit" "extract" "extract_type" @@ -415,7 +414,6 @@ (defconst isar-keywords-theory-goal '("corollary" - "example_proof" "instance" "interpretation" "lemma"