coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Question on recursion

From: dimitrisg7 <dvekris AT hotmail.com>
To: coq-club AT pauillac.inria.fr
Subject: Re: [Coq-Club] Question on recursion
Date: Tue, 21 Apr 2009 05:57:37 -0700 (PDT)
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Thanks Adam. But I am not familiar with the new features of Coq. I still use
the previous version. I am wondering if there is still something that can be
done with "old" Coq. If not, I might consider seriously to switch to the new
version.

-----
Never say never.
--
View this message in context:
http://www.nabble.com/Question-on-recursion-tp23153959p23155523.html
Sent from the Coq mailing list archive at Nabble.com.

[Coq-Club] Question on recursion, dimitrisg7
- Re: [Coq-Club] Question on recursion, Adam Koprowski
  - Re: [Coq-Club] Question on recursion, dimitrisg7
    - Re: [Coq-Club] Question on recursion, Adam Koprowski
      - Re: [Coq-Club] Question on recursion, Matthieu Sozeau
      - Re: [Coq-Club] Question on recursion, Adam Chlipala