etc/isar-keywords-ZF.el
changeset 45134 9b02f6665fc8
parent 44232 d5f689c534c5
child 46938 cda018294515
     1.1 --- a/etc/isar-keywords-ZF.el	Wed Oct 12 22:48:23 2011 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Thu Oct 13 11:45:33 2011 +0200
     1.3 @@ -190,7 +190,6 @@
     1.4      "type_synonym"
     1.5      "typed_print_translation"
     1.6      "typedecl"
     1.7 -    "types"
     1.8      "ultimately"
     1.9      "undo"
    1.10      "undos_proof"
    1.11 @@ -400,7 +399,6 @@
    1.12      "type_synonym"
    1.13      "typed_print_translation"
    1.14      "typedecl"
    1.15 -    "types"
    1.16      "use"))
    1.17  
    1.18  (defconst isar-keywords-theory-script