On Fri, Apr 8, 2011 at 07:09, gallais @ ensl.org <guillaume.allais at ens-lyon.org> wrote: > Have you tried to destruct the proofs of [x == y] and [xs == ys] ? To destruct them? -- Jason Dusek () ascii ribbon campaign - against html e-mail /\ www.asciiribbon.org - against proprietary attachments