Thu, 12 Apr 2012 23:07:01 +0200 | krauss | Set_Algebras: removed syntax \<oplus> and \<otimes>, in favour of plain + and * | changeset | files |
Thu, 12 Apr 2012 22:55:11 +0200 | krauss | removed "setsum_set", now subsumed by generic setsum | changeset | files |
Thu, 12 Apr 2012 19:58:59 +0200 | krauss | backported Set_Algebras to use type classes (basically reverting b3e8d5ec721d from 2008) | changeset | files |