Thu, 17 Aug 2000 12:00:23 +0200 | paulson | tidied & updated proofs, deleting some unused ones | changeset | files |
Thu, 17 Aug 2000 11:56:47 +0200 | paulson | modified proofs: better rules for cancellation of common factors across comparisons | changeset | files |