| Tue, 10 Mar 1998 18:31:32 +0100 | oheimb | new rewrite rules not1_or, not2_or, and if_eq_cancel | changeset | files |
| Tue, 10 Mar 1998 18:26:27 +0100 | oheimb | renamed smart_tac to force_tac, slight improvement of force_tac | changeset | files |
| Tue, 10 Mar 1998 16:47:26 +0100 | nipkow | Asm_full_simp_tac now reorients asm c = t to t = c. | changeset | files |
| Tue, 10 Mar 1998 14:27:44 +0100 | wenzelm | adhoc fix of is_blank; | changeset | files |
| Tue, 10 Mar 1998 13:27:13 +0100 | nipkow | New scanner in abstract form. | changeset | files |
| Tue, 10 Mar 1998 13:24:11 +0100 | nipkow | New simplifier flag for mutual simplification. | changeset | files |
| Tue, 10 Mar 1998 13:23:35 +0100 | nipkow | Removed expand_split from simpset. | changeset | files |