| Sun, 21 Oct 2007 19:12:05 +0200 | urbanc | further comments | changeset | files |
| Sun, 21 Oct 2007 19:04:53 +0200 | urbanc | polished the proofs and added a version of the weakening lemma that does not use the variable convention | changeset | files |
| Sun, 21 Oct 2007 17:48:11 +0200 | wenzelm | fixed proof: neq0_conv; | changeset | files |