Sat, 10 Sep 2016 14:11:04 +0200 | nipkow | more simp | changeset | files |
Fri, 09 Sep 2016 15:12:40 +0200 | nipkow | msetsum -> set_mset, msetprod -> prod_mset | changeset | files |
Fri, 09 Sep 2016 14:15:16 +0200 | nipkow | More on balancing; renamed theory to Balance | changeset | files |