updated;
authorwenzelm
Mon Dec 03 12:06:13 2001 +0100 (2001-12-03)
changeset 1234206751df904fb
parent 12341 08afd1003151
child 12343 b05331869f79
updated;
etc/isar-keywords.el
     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"