etc/isar-keywords-ZF.el
changeset 51295 71fc3776c453
parent 51293 05b1bbae748d
child 51313 102a0a0718c5
     1.1 --- a/etc/isar-keywords-ZF.el	Wed Feb 27 16:27:44 2013 +0100
     1.2 +++ b/etc/isar-keywords-ZF.el	Wed Feb 27 17:32:17 2013 +0100
     1.3 @@ -200,7 +200,6 @@
     1.4      "undos_proof"
     1.5      "unfolding"
     1.6      "unused_thms"
     1.7 -    "use"
     1.8      "use_thy"
     1.9      "using"
    1.10      "welcome"
    1.11 @@ -407,8 +406,7 @@
    1.12      "type_notation"
    1.13      "type_synonym"
    1.14      "typed_print_translation"
    1.15 -    "typedecl"
    1.16 -    "use"))
    1.17 +    "typedecl"))
    1.18  
    1.19  (defconst isar-keywords-theory-script
    1.20    '("inductive_cases"))