--- a/src/HOL/Sum_Type.thy Thu Sep 27 22:26:00 2001 +0200 +++ b/src/HOL/Sum_Type.thy Thu Sep 27 22:28:16 2001 +0200 @@ -6,7 +6,7 @@ The disjoint sum of two types. *) -Sum_Type = mono + Product_Type + +Sum_Type = Product_Type + (* type definition *)