| Fri, 01 Jul 2016 16:52:54 +0200 | wenzelm | clarified; | changeset | files |
| Fri, 01 Jul 2016 16:52:35 +0200 | wenzelm | misc tuning and modernization; | changeset | files |
| Fri, 01 Jul 2016 10:56:54 +0200 | Manuel Eberl | Tuned multiset lattice | changeset | files |
| Fri, 01 Jul 2016 08:35:15 +0200 | Manuel Eberl | More lemmas on Gcd/Lcm | changeset | files |
| Fri, 01 Jul 2016 08:19:53 +0200 | Manuel Eberl | Conditionally complete lattice of multisets | changeset | files |
| Sun, 26 Jun 2016 01:03:03 +0200 | nipkow | added fundef_cong rule | changeset | files |
| Fri, 24 Jun 2016 20:27:57 +0200 | wenzelm | misc tuning and modernization; | changeset | files |