| Tue, 03 Jul 2007 17:28:36 +0200 | huffman | rename class dom to ring_1_no_zero_divisors | changeset | files |
| Tue, 03 Jul 2007 17:17:17 +0200 | wenzelm | rewrite_goal_tac; | changeset | files |
| 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 |