src/HOL/Product_Type.thy
changeset 37411 c88c44156083
parent 37389 09467cdfa198
child 37591 d3daea901123
--- a/src/HOL/Product_Type.thy	Fri Jun 11 16:52:17 2010 +0200
+++ b/src/HOL/Product_Type.thy	Mon Jun 14 15:10:36 2010 +0200
@@ -158,6 +158,8 @@
     by (simp add: Pair_def Abs_prod_inject)
 qed
 
+declare weak_case_cong [cong del]
+
 
 subsubsection {* Tuple syntax *}