1.1 --- a/etc/isar-keywords-ZF.el	Mon Aug 13 21:22:36 2007 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Mon Aug 13 21:22:37 2007 +0200
     1.3 @@ -110,7 +110,6 @@
     1.4      "no_syntax"
     1.5      "no_translations"
     1.6      "nonterminals"
     1.7 -    "normal_form"
     1.8      "notation"
     1.9      "note"
    1.10      "obtain"
    1.11 @@ -202,7 +201,6 @@
    1.12      "undo"
    1.13      "undos_proof"
    1.14      "unfolding"
    1.15 -    "update_thy"
    1.16      "use"
    1.17      "use_thy"
    1.18      "using"
    1.19 @@ -241,6 +239,7 @@
    1.20      "infixr"
    1.21      "intros"
    1.22      "is"
    1.23 +    "module_name"
    1.24      "monos"
    1.25      "notes"
    1.26      "obtains"
    1.27 @@ -250,7 +249,6 @@
    1.28      "recursor_eqns"
    1.29      "shows"
    1.30      "structure"
    1.31 -    "to"
    1.32      "type_elims"
    1.33      "type_intros"
    1.34      "unchecked"
    1.35 @@ -290,7 +288,6 @@
    1.36      "header"
    1.37      "help"
    1.38      "kill_thy"
    1.39 -    "normal_form"
    1.40      "pr"
    1.41      "pretty_setmargin"
    1.42      "prf"
    1.43 @@ -332,7 +329,6 @@
    1.44      "touch_child_thys"
    1.45      "touch_thy"
    1.46      "typ"
    1.47 -    "update_thy"
    1.48      "use"
    1.49      "use_thy"
    1.50      "value"