1.1 --- a/etc/isar-keywords.el Wed May 14 20:31:41 2008 +0200 1.2 +++ b/etc/isar-keywords.el Thu May 15 12:47:19 2008 +0200 1.3 @@ -253,7 +253,6 @@ 1.4 "begin" 1.5 "binder" 1.6 "compose" 1.7 - "concl" 1.8 "congs" 1.9 "constrains" 1.10 "contains"