changeset 36356 | 5ab0f8859f9f |
parent 36321 | 58d4dc6000fc |
child 36455 | 30f96b4b108b |
--- a/etc/isar-keywords.el Mon Apr 26 21:36:44 2010 +0200 +++ b/etc/isar-keywords.el Mon Apr 26 21:45:08 2010 +0200 @@ -94,6 +94,7 @@ "enable_pr" "end" "equivariance" + "example_proof" "exit" "export_code" "extract" @@ -562,6 +563,7 @@ "code_pred" "corollary" "cpodef" + "example_proof" "function" "instance" "interpretation"