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
2 parent s 896b5a2 + 3ca7884
History
File Mode Size
Coq
.gitignore -rw-r--r-- 320 bytes
README.markdown -rw-r--r-- 493 bytes

README.markdown

back to top