The Coq mailing list

[Lu�s Cruz-Filipe <lcf AT cs.kun.nl>]

Hi,

Does anybody know what the following error message means?

-------

Error:
Unbound reference: In environment

(...)

The reference 1 is free

------

(I got it while trying to use Rewrite...)

Thanks for any kind of help!

Luís Cruz-Filipe