src/HOL/Sum.thy
changeset 1515 4ed79ebab64d
parent 1475 7f5a4cd08209
child 1558 9c6ebfab4e05
     1.1 --- a/src/HOL/Sum.thy	Mon Feb 19 13:54:15 1996 +0100
     1.2 +++ b/src/HOL/Sum.thy	Mon Feb 19 18:04:41 1996 +0100
     1.3 @@ -6,7 +6,7 @@
     1.4  The disjoint sum of two types.
     1.5  *)
     1.6  
     1.7 -Sum = Prod +
     1.8 +Sum = mono + Prod +
     1.9  
    1.10  (* type definition *)
    1.11