Mon, 18 Oct 1999 15:20:21 +0200 | paulson | fixed comments | changeset | files |
Mon, 18 Oct 1999 15:18:24 +0200 | paulson | working version with localTo[C] instead of localTo | changeset | files |
Mon, 18 Oct 1999 15:17:35 +0200 | paulson | new thm disjoint_iff_not_equal | changeset | files |