Subject: Ssreflect Users Discussion List
List archive
- installation problem, Nuno Gaspar, 03/11/2012
- Re: installation problem, Enrico Tassi, 03/11/2012
- RE: installation problem, Georges Gonthier, 03/11/2012
- Re: installation problem, Enrico Tassi, 03/11/2012
- Re: installation problem, Christian Doczkal, 03/12/2012
- Re: installation problem, Enrico Tassi, 03/11/2012
- Re: installation problem, bertot, 03/11/2012
- Building ssreflect 1.3pl2 with coq 8.3pl3 and camlp5 6.05, Christian Neukirchen, 03/20/2012
- Property about diff of vector spaces, Jónathan Heras, 03/26/2012
- RE: Property about diff of vector spaces, Georges Gonthier, 03/26/2012
- Re: Property about diff of vector spaces, Jónathan Heras, 03/27/2012
- RE: Property about diff of vector spaces, Georges Gonthier, 03/27/2012
- Re: Property about diff of vector spaces, Jónathan Heras, 03/27/2012
- Re: Property about diff of vector spaces, Jónathan Heras, 03/27/2012
- RE: Property about diff of vector spaces, Georges Gonthier, 03/26/2012
- about the notation for negative int values, Frédéric Chyzak, 03/27/2012
- Re: about the notation for negative int values, Cyril Cohen, 03/28/2012
- CoInductive and Fixpoint, Frédéric Chyzak, 03/27/2012
- Re: CoInductive and Fixpoint, Cyril Cohen, 03/28/2012
- constants in rat, Frédéric Chyzak, 03/28/2012
- Re: constants in rat, Cyril Cohen, 03/28/2012
- a few questions about ssrfun.v, Frédéric Chyzak, 03/28/2012
- Re: a few questions about ssrfun.v, Cyril Cohen, 03/28/2012
- consistency of notations (+ type of Qualifier ...), Frédéric Chyzak, 03/28/2012
- RE: consistency of notations (+ type of Qualifier ...), Georges Gonthier, 03/28/2012
- Re: consistency of notations (+ type of Qualifier ...), Frédéric Chyzak, 03/28/2012
- RE: consistency of notations (+ type of Qualifier ...), Georges Gonthier, 03/28/2012
- Re: consistency of notations (+ type of Qualifier ...), Frédéric Chyzak, 03/28/2012
- RE: consistency of notations (+ type of Qualifier ...), Georges Gonthier, 03/28/2012
- bad interaction with Proof General 3.7 under Emacs 23 ?, Frédéric Chyzak, 03/28/2012
- RE: bad interaction with Proof General 3.7 under Emacs 23 ?, Georges Gonthier, 03/28/2012
- evaluation, Thomas Sibut-Pinote, 03/28/2012
- Re: evaluation, sidi, 03/28/2012
- RE: evaluation, Georges Gonthier, 03/29/2012
- Re: evaluation, sidi, 03/28/2012
- ring structure and matrices, Guillaume Cano, 03/28/2012
Archive powered by MHonArc 2.6.18.