| Thu, 21 Dec 2006 13:55:13 +0100 | haftmann | code clarifications | changeset | files |
| Thu, 21 Dec 2006 13:55:12 +0100 | haftmann | import path made absolute | changeset | files |
| Thu, 21 Dec 2006 13:55:11 +0100 | haftmann | added code lemmas for quantification over bounded nats | changeset | files |
| Thu, 21 Dec 2006 08:42:53 +0100 | aspinall | Disable new Proof General code until SML/NJ compile fixed. | changeset | files |
| Wed, 20 Dec 2006 18:38:27 +0100 | aspinall | Use new Proof General code by default [see comment for reverting] | changeset | files |
| Wed, 20 Dec 2006 17:03:46 +0100 | paulson | change from "Array" to "Vector" | changeset | files |
| Tue, 19 Dec 2006 19:34:35 +0100 | huffman | add lemmas Standard_starfun(2)_iff | changeset | files |