ssreflect - Ssreflect Users Discussion List

Subject: Ssreflect Users Discussion List

List archive

2012/04 11 mails

<< < page # 1/1 > >>

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