List archive

• Inferring proofs of true., roconnor, 05/04/2010
  • RE: Inferring proofs of true., Georges Gonthier, 05/04/2010
• 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
• meaning of elim, Jean-Jacques Levy, 05/31/2010
  • RE: meaning of elim, Georges Gonthier, 05/31/2010

Archive powered by MHonArc 2.6.18.