| Wed, 18 Jun 2008 18:55:00 +0200 | wenzelm | OldGoals.read_prop; | changeset | files |
| Wed, 18 Jun 2008 18:54:59 +0200 | wenzelm | OldGoals.simple_read_term; | changeset | files |
| Wed, 18 Jun 2008 18:54:57 +0200 | wenzelm | simplified Abel_Cancel setup; | changeset | files |