| Fri, 26 Mar 2004 12:21:50 +0100 | webertj | Installed solvers now determined at call time (as opposed to compile time) | changeset | files |
| Fri, 26 Mar 2004 05:32:00 +0100 | kleing | symbols in idents | changeset | files |
| 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 |
| Thu, 25 Mar 2004 05:37:32 +0100 | kleing | moved MiniML and AVL to archive of formal proofs | changeset | files |
| Wed, 24 Mar 2004 10:55:38 +0100 | paulson | auto update | changeset | files |
| Wed, 24 Mar 2004 10:55:20 +0100 | paulson | clarified | changeset | files |