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 |