| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | DecidableType.v | 4216 | logplain |
| -rw-r--r-- | DecidableTypeEx.v | 3226 | logplain |
| -rw-r--r-- | Equalities.v | 6879 | logplain |
| -rw-r--r-- | EqualitiesFacts.v | 5062 | logplain |
| -rw-r--r-- | GenericMinMax.v | 20158 | logplain |
| -rw-r--r-- | OrderedType.v | 14376 | logplain |
| -rw-r--r-- | OrderedTypeAlt.v | 3020 | logplain |
| -rw-r--r-- | OrderedTypeEx.v | 9186 | logplain |
| -rw-r--r-- | Orders.v | 10009 | logplain |
| -rw-r--r-- | OrdersAlt.v | 6854 | logplain |
| -rw-r--r-- | OrdersEx.v | 2949 | logplain |
| -rw-r--r-- | OrdersFacts.v | 7131 | logplain |
| -rw-r--r-- | OrdersLists.v | 7192 | logplain |
| -rw-r--r-- | OrdersTac.v | 9564 | logplain |
| -rw-r--r-- | vo.itarget | 214 | logplain |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |