Tue, 03 Jul 2007 17:17:16 +0200 | wenzelm | replaced Conv.goals_conv by Conv.prems_conv; | changeset | files |
Tue, 03 Jul 2007 17:17:15 +0200 | wenzelm | exported meta_rewrite_conv; | changeset | files |
Tue, 03 Jul 2007 17:17:15 +0200 | wenzelm | CONVERSION tactical; | changeset | files |
Tue, 03 Jul 2007 17:17:13 +0200 | wenzelm | removed obsolete eta_long_tac; | changeset | files |
Tue, 03 Jul 2007 17:17:13 +0200 | wenzelm | added CONVERSION tactical; | changeset | files |
Tue, 03 Jul 2007 17:17:11 +0200 | wenzelm | tuned rotate_prems; | changeset | files |