src/HOL/Prod.thy

--- a/src/HOL/Prod.thy	Tue May 21 13:39:31 1996 +0200
+++ b/src/HOL/Prod.thy	Tue May 21 13:42:53 1996 +0200
@@ -7,7 +7,7 @@
 The unit type.
 *)
 
-Prod = Fun +
+Prod = Fun + equalities +
 
 (** Products **)