coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 1993
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 1994
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 1997
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
2002/10
41 mails
Pages navigation :
chronological Thread << < page # 2/2 > >>
- Re: [Coq-Club] Pattern matching while defining a type, (continued)
- Re: [Coq-Club] Pattern matching while defining a type, Lionel Elie Mamane
- Re: [Coq-Club] Pattern matching while defining a type, Eduardo Gimenez
- Re: [Coq-Club] Pattern matching while defining a type, Lionel Elie Mamane
- Re: [Coq-Club] Pattern matching while defining a type, Venanzio Capretta
- [Coq-Club] 1. Proof-by-pointing availableness 2. Reals in Set?, Lukasz Stafiniak
- [Coq-Club] Adding modalities to coq, Mehrnoosh Sadrzadeh
- Re: [Coq-Club] double case analysis & recursion, Carsten Schuermann
- [Coq-Club] "Opening" fixpoints, Lionel Elie Mamane
- Re: [Coq-Club] "Opening" fixpoints,
Pierre Courtieu
- Re: [Coq-Club] "Opening" fixpoints, Lionel Elie Mamane
- Re: [Coq-Club] "Opening" fixpoints,
Pierre Courtieu
- [Coq-Club] Inversion anomaly: Failure "try_find"., Dachuan Yu
Archive powered by MhonArc 2.6.16.