1.1 --- a/etc/isar-keywords.el	Mon Oct 08 18:13:01 2007 +0200
     1.2 +++ b/etc/isar-keywords.el	Mon Oct 08 18:13:03 2007 +0200
     1.3 @@ -1,6 +1,7 @@
     1.4  ;;
     1.5  ;; Keyword classification tables for Isabelle/Isar.
     1.6 -;; This file was generated from HOL + HOLCF + IOA -- DO NOT EDIT!
     1.7 +;; Generated from Pure + Pure-ProofGeneral + HOL + HOLCF + IOA + HOL-Nominal
     1.8 +;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
     1.9  ;;
    1.10  ;; $Id$
    1.11  ;;
    1.12 @@ -23,6 +24,7 @@
    1.13      "apply_end"
    1.14      "arities"
    1.15      "assume"
    1.16 +    "atom_decl"
    1.17      "automaton"
    1.18      "ax_specification"
    1.19      "axclass"
    1.20 @@ -77,6 +79,7 @@
    1.21      "done"
    1.22      "enable_pr"
    1.23      "end"
    1.24 +    "equivariance"
    1.25      "exit"
    1.26      "export_code"
    1.27      "extract"
    1.28 @@ -121,6 +124,9 @@
    1.29      "next"
    1.30      "no_syntax"
    1.31      "no_translations"
    1.32 +    "nominal_datatype"
    1.33 +    "nominal_inductive"
    1.34 +    "nominal_primrec"
    1.35      "nonterminals"
    1.36      "normal_form"
    1.37      "notation"
    1.38 @@ -240,6 +246,7 @@
    1.39      "and"
    1.40      "assumes"
    1.41      "attach"
    1.42 +    "avoids"
    1.43      "begin"
    1.44      "binder"
    1.45      "compose"
    1.46 @@ -399,6 +406,7 @@
    1.47    '("ML_setup"
    1.48      "abbreviation"
    1.49      "arities"
    1.50 +    "atom_decl"
    1.51      "automaton"
    1.52      "axclass"
    1.53      "axiomatization"
    1.54 @@ -433,6 +441,7 @@
    1.55      "definition"
    1.56      "defs"
    1.57      "domain"
    1.58 +    "equivariance"
    1.59      "extract"
    1.60      "extract_type"
    1.61      "finalconsts"
    1.62 @@ -451,6 +460,7 @@
    1.63      "method_setup"
    1.64      "no_syntax"
    1.65      "no_translations"
    1.66 +    "nominal_datatype"
    1.67      "nonterminals"
    1.68      "notation"
    1.69      "oracle"
    1.70 @@ -491,6 +501,8 @@
    1.71      "instance_proof"
    1.72      "interpretation"
    1.73      "lemma"
    1.74 +    "nominal_inductive"
    1.75 +    "nominal_primrec"
    1.76      "pcpodef"
    1.77      "recdef_tc"
    1.78      "specification"