Fri, 25 Nov 1994 11:13:55 +0100 | lcp | ZF/indrule/mutual_ind_tac: ensured that asm_full_simp_tac ignores any | changeset | files |
Fri, 25 Nov 1994 11:08:12 +0100 | lcp | checks that the recursive sets are Consts before taking | changeset | files |
Fri, 25 Nov 1994 11:04:44 +0100 | lcp | equiv_comp_eq: simplified proof | changeset | files |