8b14a9c8f65ea5bd592901b3649346a7  Coq-Library.pdf.gz
0e3d5eac23416ec75dd59fabdcc1367c  Coq-RecTutorial.pdf.gz
021c58a1f2e5d029928ffae0cc9703b0  Coq-Reference-Manual.pdf.gz
bcb4d1c4857bfdae5c22f8fc0be6853c  Coq-Tutorial.v.pdf.gz
04285e3a76571db6e1d2fbe198c76120  coq-refman-html.tar.gz
17b1edf9122fd89c8b99d4e047b54fb8  coq-stdlib-html.tar.gz
8fa623538d362d8f48d78e598c43215e  coq-8.1pl4.tar.gz