coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] problem with notations

From: "Jevgenijs Sallinens" <jevgenijs AT dva.lv>
To: "Jacek Chrzaszcz" <chrzaszc AT mimuw.edu.pl>
Cc: coq-club AT pauillac.inria.fr
Subject: Re: [Coq-Club] problem with notations
Date: Tue, 20 Jan 2004 16:11:09 +0200
Importance: Medium
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Jacek Chrzaszcz wrote:
> Please do and tell us where the bugs are!

Dear Jacek,

Many thanks for you answering my e-mail and resolving the problem.

I have installed Coq8.0 beta from Win.zip and tried this and many much more
complicated tests
with combination of lists and natural numbers.
No problems found!

Best Regards,
Jevgenijs.

________________________________________________
Message sent using UebiMiau 2.7.2

Re: [Coq-Club] problem with notations, (continued)
- Re: [Coq-Club] problem with notations, Jevgenijs Sallinens
  - Re: [Coq-Club] problem with notations, Pierre Courtieu
  - Re: [Coq-Club] problem with notations, Houda Anoun
- Re: [Coq-Club] problem with notations, Jevgenijs Sallinens
  - Re: [Coq-Club] problem with notations, Pierre Casteran
  - Re: [Coq-Club] problem with notations, Jacek Chrzaszcz
- Re: [Coq-Club] problem with notations, Jevgenijs Sallinens
- Re: [Coq-Club] problem with notations, Jevgenijs Sallinens