| Sun, 11 Nov 2001 21:37:44 +0100 | wenzelm | adapted to multiple results; | changeset | files |
| Sun, 11 Nov 2001 21:37:20 +0100 | wenzelm | adapted auto_bind_goal, auto_bind_facts; | changeset | files |
| Sun, 11 Nov 2001 21:36:40 +0100 | wenzelm | added multi_theorem(_i); | changeset | files |