![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/binary.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Reference-Manual.pdf | 20-Jul-2011 15:38 | 1.5M | |
| Tutorial.pdf | 19-Apr-2011 16:27 | 197K | |
| coq-8.3pl2-macosx.dmg | 19-Apr-2011 13:48 | 60M | |
| coq-8.3pl2-win-1.exe | 20-Apr-2011 14:36 | 48M | |
| coq-8.3pl2.tar.gz | 19-Apr-2011 15:26 | 3.6M | |
| coqide-8.3pl2-macosx.dmg | 19-Apr-2011 13:49 | 67M | |
| ssreflect-1.3+8.3pl2-win-0.exe | 20-Apr-2011 15:54 | 11M | |