etc/isar-keywords.el
changeset 47267 4c7548e7df86
parent 47262 87ba9d3e1020
child 47308 9caab698dbe4
     1.1 --- a/etc/isar-keywords.el	Sun Apr 01 23:09:36 2012 +0200
     1.2 +++ b/etc/isar-keywords.el	Sun Apr 01 23:21:54 2012 +0200
     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 + HOL-TPTP.
     1.7 +;; Generated from Pure + HOL + HOLCF + HOL-Boogie + HOL-Library + HOL-Nominal + HOL-Statespace + HOL-SPARK + HOL-TPTP + HOL-Import.
     1.8  ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
     1.9  ;;
    1.10  
    1.11 @@ -108,7 +108,10 @@
    1.12      "hide_const"
    1.13      "hide_fact"
    1.14      "hide_type"
    1.15 +    "import_const_map"
    1.16 +    "import_file"
    1.17      "import_tptp"
    1.18 +    "import_type_map"
    1.19      "include"
    1.20      "including"
    1.21      "inductive"
    1.22 @@ -491,7 +494,10 @@
    1.23      "hide_const"
    1.24      "hide_fact"
    1.25      "hide_type"
    1.26 +    "import_const_map"
    1.27 +    "import_file"
    1.28      "import_tptp"
    1.29 +    "import_type_map"
    1.30      "inductive"
    1.31      "inductive_set"
    1.32      "instantiation"