manually generated from Isabelle/HOLCF/IOA/Complex/Import;
authorwenzelm
Sat Sep 17 19:12:58 2005 +0200 (2005-09-17)
changeset 17473e62a16c5ad82
parent 17472 bcbf48d59059
child 17474 e4cdb9f061fb
manually generated from Isabelle/HOLCF/IOA/Complex/Import;
etc/isar-keywords.el
     1.1 --- a/etc/isar-keywords.el	Sat Sep 17 18:25:11 2005 +0200
     1.2 +++ b/etc/isar-keywords.el	Sat Sep 17 19:12:58 2005 +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/HOLCF/IOA/Complex/Import -- DO NOT EDIT!
     1.8  ;;
     1.9  ;; $Id$
    1.10  ;;
    1.11 @@ -22,6 +22,7 @@
    1.12      "ProofGeneral\\.try_context_thy_only"
    1.13      "ProofGeneral\\.undo"
    1.14      "also"
    1.15 +    "append_dump"
    1.16      "apply"
    1.17      "apply_end"
    1.18      "arities"
    1.19 @@ -43,6 +44,9 @@
    1.20      "code_module"
    1.21      "coinductive"
    1.22      "commit"
    1.23 +    "const_maps"
    1.24 +    "const_moves"
    1.25 +    "const_renames"
    1.26      "constdefs"
    1.27      "consts"
    1.28      "consts_code"
    1.29 @@ -52,6 +56,7 @@
    1.30      "datatype"
    1.31      "declare"
    1.32      "def"
    1.33 +    "def_maps"
    1.34      "defaultsort"
    1.35      "defer"
    1.36      "defer_recdef"
    1.37 @@ -62,6 +67,8 @@
    1.38      "done"
    1.39      "enable_pr"
    1.40      "end"
    1.41 +    "end_import"
    1.42 +    "end_setup"
    1.43      "exit"
    1.44      "extract"
    1.45      "extract_type"
    1.46 @@ -71,6 +78,7 @@
    1.47      "fix"
    1.48      "fixpat"
    1.49      "fixrec"
    1.50 +    "flush_dump"
    1.51      "from"
    1.52      "full_prf"
    1.53      "global"
    1.54 @@ -78,6 +86,9 @@
    1.55      "header"
    1.56      "hence"
    1.57      "hide"
    1.58 +    "ignore_thms"
    1.59 +    "import_segment"
    1.60 +    "import_theory"
    1.61      "inductive"
    1.62      "inductive_cases"
    1.63      "init_toplevel"
    1.64 @@ -152,6 +163,8 @@
    1.65      "sect"
    1.66      "section"
    1.67      "setup"
    1.68 +    "setup_dump"
    1.69 +    "setup_theory"
    1.70      "show"
    1.71      "sorry"
    1.72      "specification"
    1.73 @@ -169,6 +182,7 @@
    1.74      "theory"
    1.75      "thm"
    1.76      "thm_deps"
    1.77 +    "thm_maps"
    1.78      "thms_containing"
    1.79      "thus"
    1.80      "token_translation"
    1.81 @@ -179,6 +193,7 @@
    1.82      "txt"
    1.83      "txt_raw"
    1.84      "typ"
    1.85 +    "type_maps"
    1.86      "typed_print_translation"
    1.87      "typedecl"
    1.88      "typedef"
    1.89 @@ -347,6 +362,7 @@
    1.90  
    1.91  (defconst isar-keywords-theory-decl
    1.92    '("ML_setup"
    1.93 +    "append_dump"
    1.94      "arities"
    1.95      "automaton"
    1.96      "axclass"
    1.97 @@ -356,21 +372,31 @@
    1.98      "code_library"
    1.99      "code_module"
   1.100      "coinductive"
   1.101 +    "const_maps"
   1.102 +    "const_moves"
   1.103 +    "const_renames"
   1.104      "constdefs"
   1.105      "consts"
   1.106      "consts_code"
   1.107      "datatype"
   1.108 +    "def_maps"
   1.109      "defaultsort"
   1.110      "defer_recdef"
   1.111      "defs"
   1.112      "domain"
   1.113 +    "end_import"
   1.114 +    "end_setup"
   1.115      "extract"
   1.116      "extract_type"
   1.117      "finalconsts"
   1.118      "fixpat"
   1.119      "fixrec"
   1.120 +    "flush_dump"
   1.121      "global"
   1.122      "hide"
   1.123 +    "ignore_thms"
   1.124 +    "import_segment"
   1.125 +    "import_theory"
   1.126      "inductive"
   1.127      "judgment"
   1.128      "lemmas"
   1.129 @@ -393,12 +419,16 @@
   1.130      "refute_params"
   1.131      "rep_datatype"
   1.132      "setup"
   1.133 +    "setup_dump"
   1.134 +    "setup_theory"
   1.135      "syntax"
   1.136      "text"
   1.137      "text_raw"
   1.138      "theorems"
   1.139 +    "thm_maps"
   1.140      "token_translation"
   1.141      "translations"
   1.142 +    "type_maps"
   1.143      "typed_print_translation"
   1.144      "typedecl"
   1.145      "types"