updated keywords;
authorwenzelm
Wed Jan 12 17:33:47 2011 +0100 (2011-01-12)
changeset 41530c7e14c8088a6
parent 41529 ba60efa2fd08
child 41531 a392a18676e9
updated keywords;
etc/isar-keywords.el
     1.1 --- a/etc/isar-keywords.el	Wed Jan 12 17:19:50 2011 +0100
     1.2 +++ b/etc/isar-keywords.el	Wed Jan 12 17:33:47 2011 +0100
     1.3 @@ -85,6 +85,7 @@
     1.4      "done"
     1.5      "enable_pr"
     1.6      "end"
     1.7 +    "enriched_type"
     1.8      "equivariance"
     1.9      "exit"
    1.10      "export_code"
    1.11 @@ -249,7 +250,6 @@
    1.12      "txt"
    1.13      "txt_raw"
    1.14      "typ"
    1.15 -    "type_lifting"
    1.16      "type_notation"
    1.17      "type_synonym"
    1.18      "typed_print_translation"
    1.19 @@ -536,6 +536,7 @@
    1.20      "code_pred"
    1.21      "corollary"
    1.22      "cpodef"
    1.23 +    "enriched_type"
    1.24      "function"
    1.25      "instance"
    1.26      "interpretation"
    1.27 @@ -555,7 +556,6 @@
    1.28      "sublocale"
    1.29      "termination"
    1.30      "theorem"
    1.31 -    "type_lifting"
    1.32      "typedef"))
    1.33  
    1.34  (defconst isar-keywords-qed