| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | DecidableType.v | 4152 | logplain |
| -rw-r--r-- | DecidableTypeEx.v | 3155 | logplain |
| -rw-r--r-- | Equalities.v | 8172 | logplain |
| -rw-r--r-- | EqualitiesFacts.v | 4757 | logplain |
| -rw-r--r-- | GenericMinMax.v | 18792 | logplain |
| -rw-r--r-- | OrderedType.v | 14348 | logplain |
| -rw-r--r-- | OrderedTypeAlt.v | 2953 | logplain |
| -rw-r--r-- | OrderedTypeEx.v | 8512 | logplain |
| -rw-r--r-- | Orders.v | 10797 | logplain |
| -rw-r--r-- | OrdersAlt.v | 6771 | logplain |
| -rw-r--r-- | OrdersEx.v | 2830 | logplain |
| -rw-r--r-- | OrdersFacts.v | 12744 | logplain |
| -rw-r--r-- | OrdersLists.v | 7195 | logplain |
| -rw-r--r-- | OrdersTac.v | 9285 | logplain |
| -rw-r--r-- | vo.itarget | 214 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |