| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Disjoint_Union.v | 1580 | logplain |
| -rw-r--r-- | Inclusion.v | 1017 | logplain |
| -rw-r--r-- | Inverse_Image.v | 1753 | logplain |
| -rw-r--r-- | Lexicographic_Exponentiation.v | 10004 | logplain |
| -rw-r--r-- | Lexicographic_Product.v | 4247 | logplain |
| -rw-r--r-- | Transitive_Closure.v | 1461 | logplain |
| -rw-r--r-- | Union.v | 2290 | logplain |
| -rw-r--r-- | Well_Ordering.v | 1978 | logplain |
| -rw-r--r-- | Wellfounded.v | 798 | logplain |
| -rwxr-xr-x | intro.tex | 127 | logplain |
| -rw-r--r-- | vo.itarget | 168 | logplain |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |