coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Built-in syntactic equality ?

From: zell08v AT orange.fr
To: coq-club AT inria.fr
Subject: [Coq-Club] Built-in syntactic equality ?
Date: Tue, 2 Mar 2010 17:46:26 +0100

Hello everyone,

I have a very naive question:

Do you think there is a built-in syntactic equality that ensures the usage of
[rewrite], if you know what I mean by that vague "syntactic equality" ?

Thanks in advance.

Z.

[Coq-Club] Built-in syntactic equality ?, zell08v
- Re: [Coq-Club] Built-in syntactic equality ?, Adam Koprowski
- Re: [Coq-Club] Built-in syntactic equality ?, Matthieu Sozeau