Fri, 13 Apr 2012 11:45:30 +0200 | Andreas Lochbihler | move RBT implementation into type class contexts | changeset | files |
Fri, 13 Apr 2012 12:09:25 +0200 | wenzelm | misc tuning; | changeset | files |
Fri, 13 Apr 2012 09:17:01 +0200 | bulwahn | NEWS | changeset | files |
Thu, 12 Apr 2012 23:51:36 +0200 | krauss | merged | changeset | files |
Thu, 12 Apr 2012 23:15:34 +0200 | krauss | distributivity of * over Un and UNION | changeset | files |
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 |