etc/isar-keywords.el
changeset 11746 9bf11f1de9d6
parent 11661 37cfa9aad9c0
child 12040 61e99f0f5c01
     1.1 --- a/etc/isar-keywords.el	Sat Oct 13 21:45:23 2001 +0200
     1.2 +++ b/etc/isar-keywords.el	Sat Oct 13 21:46:53 2001 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  ;;
     1.5  ;; Keyword classification tables for Isabelle/Isar.
     1.6 -;; This file was generated by Isabelle/HOLCF/IOA -- DO NOT EDIT!
     1.7 +;; This file was generated by Isabelle/HOL -- DO NOT EDIT!
     1.8  ;;
     1.9  ;; $Id$
    1.10  ;;
    1.11 @@ -23,7 +23,6 @@
    1.12      "apply_end"
    1.13      "arities"
    1.14      "assume"
    1.15 -    "automaton"
    1.16      "axclass"
    1.17      "axioms"
    1.18      "back"
    1.19 @@ -41,6 +40,7 @@
    1.20      "consts"
    1.21      "consts_code"
    1.22      "context"
    1.23 +    "corollary"
    1.24      "datatype"
    1.25      "declare"
    1.26      "def"
    1.27 @@ -166,43 +166,27 @@
    1.28      "}"))
    1.29  
    1.30  (defconst isar-keywords-minor
    1.31 -  '("actions"
    1.32 -    "and"
    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      "monos"
    1.55 +    "morphisms"
    1.56      "output"
    1.57 -    "outputs"
    1.58      "overloaded"
    1.59      "permissive"
    1.60 -    "post"
    1.61 -    "pre"
    1.62 -    "rename"
    1.63 -    "restrict"
    1.64 -    "signature"
    1.65 -    "states"
    1.66 -    "to"
    1.67 -    "transitions"
    1.68 -    "transrel"
    1.69 -    "using"
    1.70      "where"))
    1.71  
    1.72  (defconst isar-keywords-control
    1.73 @@ -287,7 +271,6 @@
    1.74  (defconst isar-keywords-theory-decl
    1.75    '("ML_setup"
    1.76      "arities"
    1.77 -    "automaton"
    1.78      "axclass"
    1.79      "axioms"
    1.80      "classes"
    1.81 @@ -335,7 +318,8 @@
    1.82      "inductive_cases"))
    1.83  
    1.84  (defconst isar-keywords-theory-goal
    1.85 -  '("instance"
    1.86 +  '("corollary"
    1.87 +    "instance"
    1.88      "lemma"
    1.89      "recdef_tc"
    1.90      "theorem"