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 |