| Tue, 22 Sep 2015 11:48:22 +0200 | haftmann | effective revert of e6b1236f9b3d: spontaneous eta-contraction happens on the print translation level and can only be suppressed on the print translation level | changeset | files |
| Tue, 22 Sep 2015 14:31:22 +0200 | nipkow | tuned references | changeset | files |
| Tue, 22 Sep 2015 08:38:25 +0200 | nipkow | added red black trees | changeset | files |