src/HOL/Product_Type.thy
changeset 10289 475ea668c67d
parent 10213 01c2744a3786
child 11025 a70b796d9af8
     1.1 --- a/src/HOL/Product_Type.thy	Mon Oct 23 10:20:55 2000 +0200
     1.2 +++ b/src/HOL/Product_Type.thy	Mon Oct 23 11:14:00 2000 +0200
     1.3 @@ -7,7 +7,7 @@
     1.4  The unit type.
     1.5  *)
     1.6  
     1.7 -Product_Type = Fun + equalities +
     1.8 +Product_Type = Fun +
     1.9  
    1.10  
    1.11  (** products **)