Wed, 27 Mar 1996 18:45:17 +0100 | paulson | Library changes for mutilated checkerboard | changeset | files |
Tue, 26 Mar 1996 17:15:54 +0100 | paulson | Simplified proofs, esp. for new ZF_ss | changeset | files |
Tue, 26 Mar 1996 16:54:09 +0100 | paulson | Moved some proofs to Cardinal.ML; simplified others | changeset | files |