src/HOL/Tools/recdef_package.ML

--- a/src/HOL/Tools/recdef_package.ML	Fri Oct 20 17:07:25 2006 +0200
+++ b/src/HOL/Tools/recdef_package.ML	Fri Oct 20 17:07:26 2006 +0200
@@ -80,8 +80,6 @@
     val (del, rest) = List.partition (Library.equal c o fst) congs;
   in if null del then (warning ("No recdef congruence rule for " ^ quote c); congs) else rest end;
 
-val add_congs = foldr (uncurry add_cong);
-
 end;