author | wenzelm |
Mon, 20 Sep 2010 19:00:47 +0200 | |
changeset 39571 | 3a3d9de2ad6e |
parent 39570 | 31858a72a17e |
child 39572 | bb3469024b6a |
child 39594 | 624d6c0e220d |
--- 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"