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
2007/11
120 mails
Pages navigation :
chronological Thread << < page # 2/4 > >>
- 07/11/08
- Re: [Coq-Club] Defining merge sort, Edsko de Vries
- Re: [Coq-Club] proving the substitution lemma, Marco Maggesi
- Re: [Coq-Club] "Concrete" multiset?, Pierre Letouzey
- [Coq-Club] proving the substitution lemma, Moez A. Abdel-Gawad
- [Coq-Club] eauto and avoiding non-instantiated existential variables, Robin Green
- [Coq-Club] equality and arrow type, anabelcesar anabelcesar
- Re: [Coq-Club] proving the substitution lemma, Brian Aydemir
- [Coq-Club] [nominal-isabelle] proving the substitution lemma, Christian Urban
- Re: [Coq-Club] equality and arrow type, Edsko de Vries
- 07/11/09
- Re: [Coq-Club] eauto and avoiding non-instantiated existential variables, Brian Aydemir
- Re: [Coq-Club] Defining merge sort, Pierre Courtieu
- Re: [Coq-Club] eauto and avoiding non-instantiated existential variables, Vasileios Koutavas
- [Coq-Club] Commutative associative 'union' operation on lists, Edsko de Vries
- 07/11/10
- [Coq-Club] Induction, Marko Malikoviæ
- [Coq-Club] Induction - Appendix, Marko Malikoviæ
- Re: [Coq-Club] Induction, Evgeny Makarov
- Re: [Coq-Club] Induction, Marko Malikoviæ
- 07/11/11
- 07/11/12
- 07/11/13
- [Coq-Club] Application of not a functor, Edsko de Vries
- Re: [Coq-Club] Application of not a functor, Edsko de Vries
- Re: [Coq-Club] Application of not a functor, Robin Green
- 07/11/14
- [Coq-Club] TPHOLs 2010: Vote Result, Laurent Théry
- 07/11/17
- [Coq-Club] Inversion and induction beginner's problem, Vincent Aravantinos
- Re: [Coq-Club] Inversion and induction beginner's problem, Christine Paulin
- Re: [Coq-Club] Inversion and induction beginner's problem, Vincent Aravantinos
- [Coq-Club] Problems compiling, westand
- 07/11/18
- Re: [Coq-Club] Problems compiling, Edsko de Vries
- Re: [Coq-Club] Problems compiling, Evgeny Makarov
Archive powered by MhonArc 2.6.16.