| Wed, 22 Jul 2009 14:20:32 +0200 | haftmann | set intersection and union now named inter and union; closer connection between set and lattice operations; factored out complete lattice | changeset | files |
| Wed, 22 Jul 2009 14:20:32 +0200 | haftmann | set intersection and union now named inter and union | changeset | files |
| Wed, 22 Jul 2009 14:20:31 +0200 | haftmann | spurious proof failure | changeset | files |
| Wed, 22 Jul 2009 11:48:04 +0200 | wenzelm | original rail implementation by Michael Kerscher; | changeset | files |
| Wed, 22 Jul 2009 11:23:09 +0200 | wenzelm | merged, resolving trivial conflict; | changeset | files |
| Wed, 22 Jul 2009 10:49:26 +0200 | nipkow | News | changeset | files |
| Wed, 22 Jul 2009 08:05:33 +0200 | haftmann | explicit antiquotation | changeset | files |