| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Classical_sets.v | 4594 | logplain |
| -rw-r--r-- | Constructive_sets.v | 5162 | logplain |
| -rw-r--r-- | Cpo.v | 4246 | logplain |
| -rw-r--r-- | Ensembles.v | 4056 | logplain |
| -rw-r--r-- | Finite_sets.v | 2991 | logplain |
| -rw-r--r-- | Finite_sets_facts.v | 11455 | logplain |
| -rw-r--r-- | Image.v | 6846 | logplain |
| -rw-r--r-- | Infinite_sets.v | 8368 | logplain |
| -rw-r--r-- | Integers.v | 5305 | logplain |
| -rw-r--r-- | Multiset.v | 5403 | logplain |
| -rw-r--r-- | Partial_Order.v | 3588 | logplain |
| -rw-r--r-- | Permut.v | 2808 | logplain |
| -rw-r--r-- | Powerset.v | 6824 | logplain |
| -rw-r--r-- | Powerset_Classical_facts.v | 10873 | logplain |
| -rw-r--r-- | Powerset_facts.v | 8286 | logplain |
| -rw-r--r-- | Relations_1.v | 2999 | logplain |
| -rw-r--r-- | Relations_1_facts.v | 4171 | logplain |
| -rw-r--r-- | Relations_2.v | 2534 | logplain |
| -rw-r--r-- | Relations_2_facts.v | 5673 | logplain |
| -rw-r--r-- | Relations_3.v | 2766 | logplain |
| -rw-r--r-- | Relations_3_facts.v | 6512 | logplain |
| -rw-r--r-- | Uniset.v | 5794 | logplain |
| -rwxr-xr-x | intro.tex | 733 | logplain |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |