Ssreflect Users Discussion List

[<>]

Hello.

Will the combination of redex switch and unfold <r-item> be implemented soon?
(ref: Page 45 in the documentation)

The reply will determine whether I will aggressively use 
logical equivalence <->, which is already comfortably handled 
by ssreflect's rewrite tactics, or abbreviations;
but I prefer abbreviations to benefit from ssreflect's set tactics. 

With best regards,
Keiko