| Tue, 25 Oct 2005 18:18:58 +0200 | wenzelm | val legacy = ref false; | changeset | files |
| 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 |