etc/isar-keywords.el
changeset 51836 4d6dcd51dd52
parent 51804 be6e703908f4
child 52060 179236c82c2a
     1.1 --- a/etc/isar-keywords.el	Tue Apr 30 13:23:52 2013 +0200
     1.2 +++ b/etc/isar-keywords.el	Tue Apr 30 13:34:31 2013 +0200
     1.3 @@ -31,7 +31,7 @@
     1.4      "ax_specification"
     1.5      "axiomatization"
     1.6      "back"
     1.7 -    "bnf_def"
     1.8 +    "bnf"
     1.9      "boogie_end"
    1.10      "boogie_open"
    1.11      "boogie_status"
    1.12 @@ -583,7 +583,7 @@
    1.13  
    1.14  (defconst isar-keywords-theory-goal
    1.15    '("ax_specification"
    1.16 -    "bnf_def"
    1.17 +    "bnf"
    1.18      "boogie_vc"
    1.19      "code_pred"
    1.20      "corollary"