| Thu, 23 May 1996 15:16:12 +0200 | berghofe | equalityI is now added to default claset | changeset | files |
| Thu, 23 May 1996 15:15:20 +0200 | berghofe | Removed equalityI from some proofs (because it is now included | changeset | files |
| Thu, 23 May 1996 14:37:06 +0200 | berghofe | Replaced fast_tac by Fast_tac (which uses default claset) | changeset | files |
| Wed, 22 May 1996 18:32:37 +0200 | nipkow | Added comparison with implicit rule Fun(lift s 0 @ Var 0) -e> s | changeset | files |
| Wed, 22 May 1996 17:30:16 +0200 | nipkow | Added ex_imp | changeset | files |
| Wed, 22 May 1996 17:11:54 +0200 | nipkow | Added the second half of the W/I correspondence. | changeset | files |
| Wed, 22 May 1996 16:54:16 +0200 | nipkow | Added swap_prems_rl | changeset | files |