| Sat, 05 Jun 2004 13:08:53 +0200 | wenzelm | pretty_thm/goals_aux, pretty_flexpair: pp; | changeset | files |
| Sat, 05 Jun 2004 13:07:49 +0200 | wenzelm | avoid implicit arguments via refs; | changeset | files |
| Sat, 05 Jun 2004 13:07:31 +0200 | wenzelm | Symbol.decode; | changeset | files |