Mon, 07 Aug 2000 10:27:35 +0200 | paulson | tidied | changeset | files |
Mon, 07 Aug 2000 10:27:11 +0200 | paulson | added a dummy "thm list" argument to prove_conv for the new interface to | changeset | files |
Mon, 07 Aug 2000 10:26:02 +0200 | paulson | new abstract syntax operations, used in ZF | changeset | files |