| Tue, 25 Oct 2005 18:18:57 +0200 | wenzelm | prove_raw: cterms, explicit asms; | changeset | files |
| Tue, 25 Oct 2005 18:18:49 +0200 | wenzelm | avoid legacy goals; | changeset | files |
| Sat, 22 Oct 2005 01:22:10 +0200 | wenzelm | legacy = ref true for the time being -- avoid volumious warnings; | changeset | files |
| Fri, 21 Oct 2005 18:20:29 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 21 Oct 2005 18:17:00 +0200 | wenzelm | avoid OldGoals shortcuts; | changeset | files |
| Fri, 21 Oct 2005 18:16:57 +0200 | wenzelm | * Legacy goal package: reduced interface to the bare minimum required to keep existing proof scripts running. | changeset | files |
| Fri, 21 Oct 2005 18:15:00 +0200 | wenzelm | Internal goals. | changeset | files |