| Wed, 22 Jul 2009 14:21:52 +0200 | haftmann | merged | changeset | files |
| 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 |