Mon, 05 Dec 2005 18:19:49 +0100 | urbanc | added code to say that discrete types (nat, bool, char) | changeset | files |
Mon, 05 Dec 2005 17:02:20 +0100 | urbanc | tuned | changeset | files |
Mon, 05 Dec 2005 15:55:19 +0100 | urbanc | transitivity should be now in a reasonable state. But | changeset | files |