| Tue, 28 Oct 2008 16:58:59 +0100 | haftmann | cleanup code default attribute | changeset | files |
| Tue, 28 Oct 2008 12:29:57 +0100 | haftmann | removed includes | changeset | files |
| Tue, 28 Oct 2008 12:28:14 +0100 | haftmann | making SMLNJ happy | changeset | files |
| Tue, 28 Oct 2008 11:05:44 +0100 | paulson | The metis method no longer fails because the theorem is too trivial | changeset | files |
| Tue, 28 Oct 2008 11:03:07 +0100 | ballarin | Removed 'includes meta_term_syntax' and 'includes meta_conjunction_syntax'. | changeset | files |
| Mon, 27 Oct 2008 18:14:34 +0100 | paulson | metis proof | changeset | files |
| Mon, 27 Oct 2008 16:23:54 +0100 | ballarin | New-style locale expressions with instantiation (new file expression.ML). | changeset | files |
| Mon, 27 Oct 2008 16:20:52 +0100 | ballarin | Hide path in constant name (workaround). | changeset | files |