etc/isar-keywords.el
changeset 46951 4e032ac36134
parent 46938 cda018294515
child 46974 7ca3608146d8
     1.1 --- a/etc/isar-keywords.el	Thu Mar 15 22:08:53 2012 +0100
     1.2 +++ b/etc/isar-keywords.el	Thu Mar 15 22:20:07 2012 +0100
     1.3 @@ -1,6 +1,6 @@
     1.4  ;;
     1.5  ;; Keyword classification tables for Isabelle/Isar.
     1.6 -;; Generated from Pure + HOL + HOLCF + HOL-Boogie + HOL-Library + HOL-Nominal + HOL-Statespace + HOL-SPARK.
     1.7 +;; Generated from Pure + HOL + HOLCF + HOL-Boogie + HOL-Library + HOL-Nominal + HOL-Statespace + HOL-SPARK + HOL-TPTP.
     1.8  ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
     1.9  ;;
    1.10  
    1.11 @@ -108,6 +108,7 @@
    1.12      "hide_const"
    1.13      "hide_fact"
    1.14      "hide_type"
    1.15 +    "import_tptp"
    1.16      "inductive"
    1.17      "inductive_cases"
    1.18      "inductive_set"
    1.19 @@ -484,6 +485,7 @@
    1.20      "hide_const"
    1.21      "hide_fact"
    1.22      "hide_type"
    1.23 +    "import_tptp"
    1.24      "inductive"
    1.25      "inductive_set"
    1.26      "instantiation"