Generic Environments in Coq

(october 19, 2011) Version 0.3 release, submitted to coq contributions.
(september 1, 2011) Version 0.2 release, submitted to coq contributions.
(may 15, 2011) First public release.

• Source code: Generic_Env_v0.3.zip
• Doc html: html/toc.html

Version 0.2

• Source code: Generic_Env_v0.2.zip
• Doc html: html/toc.html

Version 0.1

• Source and compiled code: Generic_Env_v0.1.zip
• Doc html: html/toc.html