List archive

• 12/04/05
  • building a translation permutation, Vincent Siles
  • RE: building a translation permutation, Georges Gonthier
• 12/04/10
  • dvdn_leq_log, Thomas Sibut-Pinote
  • Re: dvdn_leq_log, Cyril Cohen
• 12/04/11
  • big_nat_recr, Thomas Sibut-Pinote
  • Re: big_nat_recr, bertot
• 12/04/12
  • function over 'M_n.+1 and unfolding, Vincent Siles
  • Re: function over 'M_n.+1 and unfolding, Cyril Cohen
• 12/04/14
  • Compiling under MacOS 10.6.8, Andrej Bauer
• 12/04/20
  • Re : Compiling under MacOS 10.6.8, Cyril Cohen
• 12/04/21
  • Re: Re : Compiling under MacOS 10.6.8, Andrej Bauer

Archive powered by MHonArc 2.6.18.