Thu, 12 Apr 2012 23:07:01 +0200 krauss Set_Algebras: removed syntax \<oplus> and \<otimes>, in favour of plain + and *
Thu, 12 Apr 2012 22:55:11 +0200 krauss removed "setsum_set", now subsumed by generic setsum
Thu, 12 Apr 2012 19:58:59 +0200 krauss backported Set_Algebras to use type classes (basically reverting b3e8d5ec721d from 2008)
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 tip