| Mode | Name | Size | |
|---|---|---|---|
| -rwxr-xr-x | Classical_sets.v | 4605 | logplain |
| -rwxr-xr-x | Constructive_sets.v | 5173 | logplain |
| -rwxr-xr-x | Cpo.v | 4257 | logplain |
| -rwxr-xr-x | Ensembles.v | 4067 | logplain |
| -rwxr-xr-x | Finite_sets.v | 3002 | logplain |
| -rwxr-xr-x | Finite_sets_facts.v | 11466 | logplain |
| -rwxr-xr-x | Image.v | 6857 | logplain |
| -rwxr-xr-x | Infinite_sets.v | 8379 | logplain |
| -rwxr-xr-x | Integers.v | 5316 | logplain |
| -rwxr-xr-x | Multiset.v | 5414 | logplain |
| -rwxr-xr-x | Partial_Order.v | 3599 | logplain |
| -rwxr-xr-x | Permut.v | 2819 | logplain |
| -rwxr-xr-x | Powerset.v | 6835 | logplain |
| -rwxr-xr-x | Powerset_Classical_facts.v | 10884 | logplain |
| -rwxr-xr-x | Powerset_facts.v | 8297 | logplain |
| -rwxr-xr-x | Relations_1.v | 3010 | logplain |
| -rwxr-xr-x | Relations_1_facts.v | 4182 | logplain |
| -rwxr-xr-x | Relations_2.v | 2564 | logplain |
| -rwxr-xr-x | Relations_2_facts.v | 5684 | logplain |
| -rwxr-xr-x | Relations_3.v | 2787 | logplain |
| -rwxr-xr-x | Relations_3_facts.v | 6523 | logplain |
| -rw-r--r-- | Uniset.v | 5802 | logplain |
| -rwxr-xr-x | intro.tex | 733 | logplain |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |