| Thu, 13 May 2010 14:47:15 +0200 | ballarin | Merged. | changeset | files |
| Thu, 13 May 2010 13:30:16 +0200 | ballarin | Add mixin to base morphism, required by class package; cf ab324ffd6f3d. | changeset | files |
| Thu, 13 May 2010 13:29:43 +0200 | ballarin | Remove improper use of mixin in class package. | changeset | files |
| Thu, 13 May 2010 14:34:05 +0200 | nipkow | Multiset: renamed, added and tuned lemmas; | changeset | files |