| Wed, 11 Mar 1998 09:33:56 +0100 | nipkow | New Asm_full_simp_tac led to a loop. | changeset | files |
| Tue, 10 Mar 1998 20:24:28 +0100 | nipkow | Mod because of new simplifier. | changeset | files |
| Tue, 10 Mar 1998 20:24:04 +0100 | nipkow | Mod because of not1_or. | changeset | files |
| Tue, 10 Mar 1998 19:15:00 +0100 | nipkow | Updated proofs because of new simplifier. | changeset | files |
| Tue, 10 Mar 1998 19:04:10 +0100 | nipkow | Updated proofs because of new simplification tactics. | changeset | files |
| Tue, 10 Mar 1998 19:02:53 +0100 | nipkow | Adapted proofs because of new simplification tactics. | changeset | files |
| Tue, 10 Mar 1998 19:02:20 +0100 | nipkow | The new asm_lr_simp_tac is the old asm_full_simp_tac. | changeset | files |