
diff -r d9527f97246e -r 89669c58e506 Sum.thy
--- 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




