Subject: Ssreflect Users Discussion List
List archive
- From: Laurent Théry <>
- To: "" <>
- Subject: Re: dependent type error in rewrite
- Date: Thu, 27 May 2010 15:45:02 +0200
Hi,
There used to be (a long time ago :-), a way to add reversed theorem in multirewrite.
Something like:
rewrite (thm1, -thm2).
does this still exist?
--
Laurent
- dependent type error in rewrite, Assia Mahboubi, 05/21/2010
- Re: dependent type error in rewrite, Assia Mahboubi, 05/21/2010
- Re: dependent type error in rewrite, Assia Mahboubi, 05/21/2010
- Re: dependent type error in rewrite, Laurent Théry, 05/27/2010
- RE: dependent type error in rewrite, Georges Gonthier, 05/27/2010
- Re: dependent type error in rewrite, Assia Mahboubi, 05/21/2010
Archive powered by MHonArc 2.6.18.