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