etc/isar-keywords.el
changeset 12342 06751df904fb
parent 12059 c224c941769f
child 12365 a90156701dad
--- a/etc/isar-keywords.el	Mon Dec 03 11:47:29 2001 +0100
+++ b/etc/isar-keywords.el	Mon Dec 03 12:06:13 2001 +0100
@@ -176,7 +176,6 @@
     "assumes"
     "binder"
     "compose"
-    "con_defs"
     "concl"
     "congs"
     "defines"