Sum.thy
changeset 128 89669c58e506
parent 122 6927e1cb2c07
child 185 8325414a370a
--- 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