# HG changeset patch
# User wenzelm
# Date 1285002047 -7200
# Node ID 3a3d9de2ad6ee51f4f52cfcafbcb0405bc264cf0
# Parent  31858a72a17e2b01dbf113d2db6d61dbff9b0cb6
updated keywords;

diff -r 31858a72a17e -r 3a3d9de2ad6e etc/isar-keywords.el
--- a/etc/isar-keywords.el	Mon Sep 20 18:45:58 2010 +0200
+++ b/etc/isar-keywords.el	Mon Sep 20 19:00:47 2010 +0200
@@ -143,7 +143,6 @@
     "nominal_inductive2"
     "nominal_primrec"
     "nonterminals"
-    "normal_form"
     "notation"
     "note"
     "obtain"
@@ -354,7 +353,6 @@
     "header"
     "help"
     "nitpick"
-    "normal_form"
     "pr"
     "pretty_setmargin"
     "prf"