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 |
Tue, 21 May 1996 13:42:53 +0200 | berghofe | Added additional parent theory equalities because some proofs in | changeset | files |
Tue, 21 May 1996 13:39:31 +0200 | berghofe | Replaced fast_tac by Fast_tac (which uses default claset) | changeset | files |
Tue, 21 May 1996 10:52:26 +0200 | nipkow | Corrected comment wrt I | changeset | files |
Tue, 21 May 1996 10:50:40 +0200 | nipkow | Updated url. | changeset | files |