etc/isar-keywords.el
changeset 56270 ce9c7a527c4b
parent 56148 d94d6a9178b5
child 56275 600f432ab556
     1.1 --- a/etc/isar-keywords.el	Mon Mar 24 18:05:21 2014 +0100
     1.2 +++ b/etc/isar-keywords.el	Mon Mar 24 19:06:20 2014 +0100
     1.3 @@ -28,7 +28,6 @@
     1.4      "assume"
     1.5      "atom_decl"
     1.6      "attribute_setup"
     1.7 -    "ax_specification"
     1.8      "axiomatization"
     1.9      "back"
    1.10      "bnf"
    1.11 @@ -243,8 +242,8 @@
    1.12      "simps_of_case"
    1.13      "sledgehammer"
    1.14      "sledgehammer_params"
    1.15 +    "smt2_status"
    1.16      "smt_status"
    1.17 -    "smt2_status"
    1.18      "solve_direct"
    1.19      "sorry"
    1.20      "spark_end"
    1.21 @@ -447,8 +446,8 @@
    1.22      "quickcheck"
    1.23      "refute"
    1.24      "sledgehammer"
    1.25 +    "smt2_status"
    1.26      "smt_status"
    1.27 -    "smt2_status"
    1.28      "solve_direct"
    1.29      "spark_status"
    1.30      "term"
    1.31 @@ -597,8 +596,7 @@
    1.32    '())
    1.33  
    1.34  (defconst isar-keywords-theory-goal
    1.35 -  '("ax_specification"
    1.36 -    "bnf"
    1.37 +  '("bnf"
    1.38      "code_pred"
    1.39      "corollary"
    1.40      "cpodef"