Fri, 21 Jul 2000 17:46:34 +0200 | oheimb | added map_upd_nonempty, also to simpset | changeset | files |
Fri, 21 Jul 2000 17:46:29 +0200 | oheimb | removed weaker variant of subset_insert_iff | changeset | files |
Fri, 21 Jul 2000 17:41:59 +0200 | oheimb | removed safe_asm_full_simp_tac, added generic_simp_tac | changeset | files |