Tue, 23 Dec 1997 11:37:48 +0100 | paulson | New "obvious theorems" | changeset | files |
Mon, 22 Dec 1997 12:22:06 +0100 | paulson | Added range-type for completeness | changeset | files |
Mon, 22 Dec 1997 12:21:37 +0100 | paulson | New example | changeset | files |