| Mon, 12 Nov 2001 10:37:36 +0100 | berghofe | Renamed some bound variables due to changes in simplifier. | changeset | files |
| Sun, 11 Nov 2001 21:38:54 +0100 | wenzelm | present multi_result; | changeset | files |
| Sun, 11 Nov 2001 21:38:25 +0100 | wenzelm | added meta_conjunction_tr'; | changeset | files |
| Sun, 11 Nov 2001 21:38:04 +0100 | wenzelm | pure_syntax_output: "_meta_conjunction"; | changeset | files |
| 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 |