| 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 |