# HG changeset patch
# User wenzelm
# Date 1007377573 -3600
# Node ID 06751df904fb0b192fe0d6ed61261dfd0afa374f
# Parent  08afd1003151dfe10f47d5c8ae8b5bfd949cc46d
updated;

diff -r 08afd1003151 -r 06751df904fb etc/isar-keywords.el
--- 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"