| Tue, 03 Jan 2012 23:41:59 +0100 | blanchet | fixed bisimilarity axiom -- avoid "insert" with wrong type | changeset | files |
| Tue, 03 Jan 2012 23:09:27 +0100 | blanchet | tuning | changeset | files |
| Tue, 03 Jan 2012 23:03:49 +0100 | blanchet | updated Nitpick docs after "set" reintroduction | changeset | files |
| Tue, 03 Jan 2012 18:33:18 +0100 | blanchet | no abuse of notation | changeset | files |
| Tue, 03 Jan 2012 18:33:18 +0100 | blanchet | always treat "unit" as a deep datatype, so that we get a good interaction with the record syntax (2.7 of the Nitpick manual) | changeset | files |
| Tue, 03 Jan 2012 18:33:18 +0100 | blanchet | more robust destruction of "set Collect" idiom | changeset | files |
| Tue, 03 Jan 2012 18:33:18 +0100 | blanchet | handle starred predicates correctly w.r.t. "set" | changeset | files |