etc/isar-keywords.el
changeset 36356 5ab0f8859f9f
parent 36321 58d4dc6000fc
child 36455 30f96b4b108b
     1.1 --- a/etc/isar-keywords.el	Mon Apr 26 21:36:44 2010 +0200
     1.2 +++ b/etc/isar-keywords.el	Mon Apr 26 21:45:08 2010 +0200
     1.3 @@ -94,6 +94,7 @@
     1.4      "enable_pr"
     1.5      "end"
     1.6      "equivariance"
     1.7 +    "example_proof"
     1.8      "exit"
     1.9      "export_code"
    1.10      "extract"
    1.11 @@ -562,6 +563,7 @@
    1.12      "code_pred"
    1.13      "corollary"
    1.14      "cpodef"
    1.15 +    "example_proof"
    1.16      "function"
    1.17      "instance"
    1.18      "interpretation"