List archive

• 08/06/19
  • redex switch + unfold <r-item>, keiko.nakata
  • RE: redex switch + unfold <r-item>, Georges Gonthier
• 08/06/20
  • abbreviation by the set tactic for the entire context, keiko.nakata
  • Re: abbreviation by the set tactic for the entire context, Assia Mahboubi
  • Re: abbreviation by the set tactic for the entire context, Benjamin Werner
  • Re: abbreviation by the set tactic for the entire context, keiko.nakata
  • Re: abbreviation by the set tactic for the entire context, keiko.nakata
  • RE: abbreviation by the set tactic for the entire context, Georges Gonthier
• 08/06/24
  • apply [term] + move, keiko.nakata
  • RE: apply [term] + move, Georges Gonthier
  • Re: apply [term] + move, François Garillot

Archive powered by MHonArc 2.6.18.