Subject: Ssreflect Users Discussion List
List archive
- redex switch + unfold <r-item>, keiko.nakata, 06/19/2008
- RE: redex switch + unfold <r-item>, Georges Gonthier, 06/19/2008
- abbreviation by the set tactic for the entire context, keiko.nakata, 06/20/2008
- Re: abbreviation by the set tactic for the entire context, Assia Mahboubi, 06/20/2008
- Re: abbreviation by the set tactic for the entire context, Benjamin Werner, 06/20/2008
- <Possible follow-up(s)>
- Re: abbreviation by the set tactic for the entire context, keiko.nakata, 06/20/2008
- RE: abbreviation by the set tactic for the entire context, Georges Gonthier, 06/20/2008
- Re: abbreviation by the set tactic for the entire context, keiko.nakata, 06/20/2008
- Re: abbreviation by the set tactic for the entire context, Assia Mahboubi, 06/20/2008
- apply [term] + move, keiko.nakata, 06/24/2008
- RE: apply [term] + move, Georges Gonthier, 06/24/2008
- Re: apply [term] + move, François Garillot, 06/24/2008
Archive powered by MHonArc 2.6.18.