updated keywords;
authorwenzelm
Mon Sep 20 19:00:47 2010 +0200 (2010-09-20)
changeset 395713a3d9de2ad6e
parent 39570 31858a72a17e
child 39572 bb3469024b6a
child 39594 624d6c0e220d
updated keywords;
etc/isar-keywords.el
     1.1 --- a/etc/isar-keywords.el	Mon Sep 20 18:45:58 2010 +0200
     1.2 +++ b/etc/isar-keywords.el	Mon Sep 20 19:00:47 2010 +0200
     1.3 @@ -143,7 +143,6 @@
     1.4      "nominal_inductive2"
     1.5      "nominal_primrec"
     1.6      "nonterminals"
     1.7 -    "normal_form"
     1.8      "notation"
     1.9      "note"
    1.10      "obtain"
    1.11 @@ -354,7 +353,6 @@
    1.12      "header"
    1.13      "help"
    1.14      "nitpick"
    1.15 -    "normal_form"
    1.16      "pr"
    1.17      "pretty_setmargin"
    1.18      "prf"