--- a/src/HOL/Lambda/ParRed.ML Thu Mar 30 19:45:18 2000 +0200
+++ b/src/HOL/Lambda/ParRed.ML Thu Mar 30 19:45:51 2000 +0200
@@ -82,8 +82,6 @@
(*** cd ***)
-Addsimps cd.rules;
-
Goal "!t. s => t --> t => cd s";
by (res_inst_tac[("u","s")] cd.induct 1);
by (Auto_tac);