Thu, 25 Mar 2004 10:32:21 +0100 | paulson | new material from Avigad | changeset | files |
Thu, 25 Mar 2004 10:31:25 +0100 | paulson | new treatment of equivalence classes | changeset | files |
Thu, 25 Mar 2004 06:44:39 +0100 | kleing | documented new identifier syntax | changeset | files |