Fri, 21 Jul 2000 17:41:59 +0200 | oheimb | removed safe_asm_full_simp_tac, added generic_simp_tac | changeset | files |
Fri, 21 Jul 2000 16:35:12 +0200 | prensani | Updating of some comments | changeset | files |
Fri, 21 Jul 2000 12:30:08 +0200 | nipkow | *** empty log message *** | changeset | files |