changeset 36356 | 5ab0f8859f9f |
parent 36321 | 58d4dc6000fc |
child 36455 | 30f96b4b108b |
--- a/etc/isar-keywords-ZF.el Mon Apr 26 21:36:44 2010 +0200 +++ b/etc/isar-keywords-ZF.el Mon Apr 26 21:45:08 2010 +0200 @@ -66,6 +66,7 @@ "done" "enable_pr" "end" + "example_proof" "exit" "extract" "extract_type" @@ -425,6 +426,7 @@ (defconst isar-keywords-theory-goal '("corollary" + "example_proof" "instance" "interpretation" "lemma"