tuned deps;
authorwenzelm
Mon Oct 23 11:14:00 2000 +0200 (2000-10-23)
changeset 10289475ea668c67d
parent 10288 00abecbfa46a
child 10290 8018d1743beb
tuned deps;
src/HOL/Product_Type.thy
     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 **)