etc/isar-keywords.el
changeset 56146 8453d35e4684
parent 56069 451d5b73f8cf
child 56148 d94d6a9178b5
     1.1 --- a/etc/isar-keywords.el	Fri Mar 14 15:26:52 2014 +0100
     1.2 +++ b/etc/isar-keywords.el	Fri Mar 14 15:41:29 2014 +0100
     1.3 @@ -530,7 +530,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 @@ -590,8 +592,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"