coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Marcus Ramos <marcus.ramos AT univasf.edu.br>
- To: txrev319 AT gmail.com
- Cc: coq-club AT inria.fr
- Subject: Re: [Coq-Club] Induction over ascii
- Date: Thu, 24 Oct 2013 15:33:38 -0200
I get the message:
"Error: Omega can't solve this system".
Any other hints?
- [Coq-Club] Induction over ascii, Marcus Ramos, 10/24/2013
- Re: [Coq-Club] Induction over ascii, t x, 10/24/2013
- Re: [Coq-Club] Induction over ascii, Marcus Ramos, 10/24/2013
- Re: [Coq-Club] Induction over ascii, AUGER Cédric, 10/24/2013
- Re: [Coq-Club] Induction over ascii, Marcus Ramos, 10/24/2013
- Re: [Coq-Club] Induction over ascii, AUGER Cédric, 10/24/2013
- Re: [Coq-Club] Induction over ascii, Marcus Ramos, 10/24/2013
- Re: [Coq-Club] Induction over ascii, AUGER Cédric, 10/24/2013
- Re: [Coq-Club] Induction over ascii, Marcus Ramos, 10/24/2013
- Re: [Coq-Club] Induction over ascii, AUGER Cédric, 10/24/2013
- Re: [Coq-Club] Induction over ascii, Marcus Ramos, 10/24/2013
- <Possible follow-up(s)>
- Re: [Coq-Club] Induction over ascii, txrev319, 10/24/2013
- Re: [Coq-Club] Induction over ascii, Marcus Ramos, 10/24/2013
- Re: [Coq-Club] Induction over ascii, Chris Dams, 10/24/2013
- Re: [Coq-Club] Induction over ascii, Marcus Ramos, 10/24/2013
- Re: [Coq-Club] Induction over ascii, t x, 10/24/2013
Archive powered by MHonArc 2.6.18.