package info
(click to toggle)
Folder: Compat
.. (parent) | ||||
- | rw-r--r-- | 1,016 | AdmitAxiom.v | |
- | rw-r--r-- | 1,191 | Coq87.v | |
- | rw-r--r-- | 1,535 | Coq88.v | |
- | rw-r--r-- | 741 | Coq89.v |
.. (parent) | ||||
- | rw-r--r-- | 1,016 | AdmitAxiom.v | |
- | rw-r--r-- | 1,191 | Coq87.v | |
- | rw-r--r-- | 1,535 | Coq88.v | |
- | rw-r--r-- | 741 | Coq89.v |