Files
drwxr-xr-x | 0 | root | root | /usr/share/doc/coq-doc |
-rw-r--r-- | 383983 | root | root | /usr/share/doc/coq-doc/RecTutorial.pdf |
-rw-r--r-- | 1704685 | root | root | /usr/share/doc/coq-doc/Reference-Manual.pdf |
-rw-r--r-- | 198284 | root | root | /usr/share/doc/coq-doc/Tutorial.pdf |