--- a/Sum.thy Thu Aug 25 10:47:33 1994 +0200 +++ b/Sum.thy Thu Aug 25 11:01:45 1994 +0200 @@ -9,7 +9,7 @@ Sum = Prod + types - ('a,'b) "+" (infixl 10) + ('a,'b) "+" (infixr 10) arities "+" :: (term,term)term