| Fri, 21 Oct 2005 18:14:40 +0200 | wenzelm | avoid triv_goal and home-grown meta_allE; | changeset | files |
| Fri, 21 Oct 2005 18:14:38 +0200 | wenzelm | OldGoals; | changeset | files |
| Fri, 21 Oct 2005 18:14:37 +0200 | wenzelm | proper header; | changeset | files |
| Fri, 21 Oct 2005 18:14:36 +0200 | wenzelm | avoid home-grown meta_allE; | changeset | files |
| 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 |