Mon, 28 Nov 1994 19:48:30 +0100 | regensbu | ---------------------------------------------------------------------- | changeset | files |
Fri, 25 Nov 1994 11:13:55 +0100 | lcp | ZF/indrule/mutual_ind_tac: ensured that asm_full_simp_tac ignores any | changeset | files |