etc/isar-keywords.el
changeset 15624 484178635bd8
parent 15598 4ab52355bb53
child 15703 727ef1b8b3ee
     1.1 --- a/etc/isar-keywords.el	Thu Mar 24 16:36:40 2005 +0100
     1.2 +++ b/etc/isar-keywords.el	Thu Mar 24 17:03:37 2005 +0100
     1.3 @@ -77,6 +77,7 @@
     1.4      "init_toplevel"
     1.5      "instance"
     1.6      "instantiate"
     1.7 +    "interpret"
     1.8      "interpretation"
     1.9      "judgment"
    1.10      "kill"
    1.11 @@ -423,6 +424,7 @@
    1.12  (defconst isar-keywords-proof-goal
    1.13    '("have"
    1.14      "hence"
    1.15 +    "interpret"
    1.16      "show"
    1.17      "thus"))
    1.18