| Fri, 21 Oct 2005 18:14:34 +0200 | wenzelm | Goal.prove; | changeset | files |
| Fri, 21 Oct 2005 18:14:32 +0200 | wenzelm | avoid shortcuts from OldGoals; | changeset | files |
| Fri, 21 Oct 2005 16:34:22 +0200 | wenzelm | added simplified settings for Poly/ML 4.x (commented out); | changeset | files |