Wed, 21 Jul 1999 15:22:11 +0200 | paulson | tweaked proofs to handle new freeness reasoning for data c onstructors | changeset | files |
Wed, 21 Jul 1999 15:20:26 +0200 | paulson | more existing theorems renamed to use #0; also new results | changeset | files |