Skip to Content.

Sympa Menu

coq-club - [Coq-Club] "fix" and indexed families?

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] "fix" and indexed families?

chronological Thread

From: Randy Pollack <rpollack AT inf.ed.ac.uk>
To: Benjamin Werner <Benjamin.Werner AT inria.fr>, coq-club AT pauillac.inria.fr
Subject: [Coq-Club] "fix" and indexed families?
Date: Tue, 29 Jan 2008 14:32:24 +0000
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Sorry, I found my problem. The index adds one to the "fix" count.

Thanks,
Randy

[Coq-Club] "fix" and indexed families?, Randy Pollack
- <Possible follow-ups>
- [Coq-Club] "fix" and indexed families?, Randy Pollack

Archive powered by MhonArc 2.6.16.