Revision abb65167164074bfefc75c198a6d9be3c0948540 authored by Andrej Bauer on 18 September 2012, 18:16:11 UTC, committed by Andrej Bauer on 18 September 2012, 18:16:11 UTC
Compatibility with Coq 8.4
Computing file changes ...
Compatibility with Coq 8.4
Computing file changes ...