etc/isar-keywords.el
changeset 56148 d94d6a9178b5
parent 56108 df9add9949bb
parent 56146 8453d35e4684
child 56270 ce9c7a527c4b
     1.1 --- a/etc/isar-keywords.el	Fri Mar 14 12:09:51 2014 +0100
     1.2 +++ b/etc/isar-keywords.el	Fri Mar 14 17:32:11 2014 +0100
     1.3 @@ -532,7 +532,9 @@
     1.4      "import_tptp"
     1.5      "import_type_map"
     1.6      "inductive"
     1.7 +    "inductive_cases"
     1.8      "inductive_set"
     1.9 +    "inductive_simps"
    1.10      "instantiation"
    1.11      "judgment"
    1.12      "lemmas"
    1.13 @@ -592,8 +594,7 @@
    1.14      "typedecl"))
    1.15  
    1.16  (defconst isar-keywords-theory-script
    1.17 -  '("inductive_cases"
    1.18 -    "inductive_simps"))
    1.19 +  '())
    1.20  
    1.21  (defconst isar-keywords-theory-goal
    1.22    '("ax_specification"