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 |