| Thu, 13 May 2010 15:09:42 +0200 | ballarin | Fix syntax; apparently constant apply was introduced in an earlier changeset. | changeset | files |
| 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 |
| Wed, 12 May 2010 22:33:10 -0700 | huffman | use 'subsection' instead of 'section', to maintain 1 chapter per file in generated document | changeset | files |