updated keywords
authorhaftmann
Wed Nov 17 11:38:46 2010 +0100 (2010-11-17)
changeset 40585e14bbfee8804
parent 40584 28cc2acbc58a
child 40586 fe4f6703c59e
updated keywords
etc/isar-keywords.el
     1.1 --- a/etc/isar-keywords.el	Wed Nov 17 11:27:48 2010 +0100
     1.2 +++ b/etc/isar-keywords.el	Wed Nov 17 11:38:46 2010 +0100
     1.3 @@ -81,6 +81,7 @@
     1.4      "display_drafts"
     1.5      "domain"
     1.6      "domain_isomorphism"
     1.7 +    "domaindef"
     1.8      "done"
     1.9      "enable_pr"
    1.10      "end"
    1.11 @@ -207,7 +208,6 @@
    1.12      "refute_params"
    1.13      "remove_thy"
    1.14      "rep_datatype"
    1.15 -    "repdef"
    1.16      "schematic_corollary"
    1.17      "schematic_lemma"
    1.18      "schematic_theorem"
    1.19 @@ -247,6 +247,7 @@
    1.20      "txt"
    1.21      "txt_raw"
    1.22      "typ"
    1.23 +    "type_mapper"
    1.24      "type_notation"
    1.25      "typed_print_translation"
    1.26      "typedecl"
    1.27 @@ -460,6 +461,7 @@
    1.28      "defs"
    1.29      "domain"
    1.30      "domain_isomorphism"
    1.31 +    "domaindef"
    1.32      "equivariance"
    1.33      "extract"
    1.34      "extract_type"
    1.35 @@ -501,7 +503,6 @@
    1.36      "recdef"
    1.37      "record"
    1.38      "refute_params"
    1.39 -    "repdef"
    1.40      "setup"
    1.41      "simproc_setup"
    1.42      "sledgehammer_params"
    1.43 @@ -548,6 +549,7 @@
    1.44      "sublocale"
    1.45      "termination"
    1.46      "theorem"
    1.47 +    "type_mapper"
    1.48      "typedef"))
    1.49  
    1.50  (defconst isar-keywords-qed