etc/isar-keywords.el
changeset 12040 61e99f0f5c01
parent 11746 9bf11f1de9d6
child 12042 1e5c01d5fe04
     1.1 --- a/etc/isar-keywords.el	Sat Nov 03 18:42:55 2001 +0100
     1.2 +++ b/etc/isar-keywords.el	Sat Nov 03 18:44:49 2001 +0100
     1.3 @@ -1,6 +1,6 @@
     1.4  ;;
     1.5  ;; Keyword classification tables for Isabelle/Isar.
     1.6 -;; This file was generated by Isabelle/HOL -- DO NOT EDIT!
     1.7 +;; This file was generated by Isabelle/HOLCF/IOA -- DO NOT EDIT!
     1.8  ;;
     1.9  ;; $Id$
    1.10  ;;
    1.11 @@ -23,6 +23,7 @@
    1.12      "apply_end"
    1.13      "arities"
    1.14      "assume"
    1.15 +    "automaton"
    1.16      "axclass"
    1.17      "axioms"
    1.18      "back"
    1.19 @@ -49,6 +50,7 @@
    1.20      "defer_recdef"
    1.21      "defs"
    1.22      "disable_pr"
    1.23 +    "domain"
    1.24      "done"
    1.25      "enable_pr"
    1.26      "end"
    1.27 @@ -166,27 +168,45 @@
    1.28      "}"))
    1.29  
    1.30  (defconst isar-keywords-minor
    1.31 -  '("and"
    1.32 +  '("actions"
    1.33 +    "and"
    1.34      "binder"
    1.35 +    "compose"
    1.36      "con_defs"
    1.37      "concl"
    1.38      "congs"
    1.39      "distinct"
    1.40      "files"
    1.41 +    "hide_action"
    1.42      "hints"
    1.43      "in"
    1.44      "induction"
    1.45      "infix"
    1.46      "infixl"
    1.47      "infixr"
    1.48 +    "initially"
    1.49      "inject"
    1.50 +    "inputs"
    1.51 +    "internals"
    1.52      "intros"
    1.53      "is"
    1.54 +    "lazy"
    1.55      "monos"
    1.56      "morphisms"
    1.57      "output"
    1.58 +    "outputs"
    1.59      "overloaded"
    1.60      "permissive"
    1.61 +    "post"
    1.62 +    "pre"
    1.63 +    "rename"
    1.64 +    "restrict"
    1.65 +    "signature"
    1.66 +    "states"
    1.67 +    "to"
    1.68 +    "transitions"
    1.69 +    "transrel"
    1.70 +    "using"
    1.71      "where"))
    1.72  
    1.73  (defconst isar-keywords-control
    1.74 @@ -271,6 +291,7 @@
    1.75  (defconst isar-keywords-theory-decl
    1.76    '("ML_setup"
    1.77      "arities"
    1.78 +    "automaton"
    1.79      "axclass"
    1.80      "axioms"
    1.81      "classes"
    1.82 @@ -283,6 +304,7 @@
    1.83      "defaultsort"
    1.84      "defer_recdef"
    1.85      "defs"
    1.86 +    "domain"
    1.87      "generate_code"
    1.88      "global"
    1.89      "hide"