| Mode | Name | Size | |
|---|---|---|---|
| d--------- | Arith | 822 | logplain |
| d--------- | Bool | 290 | logplain |
| d--------- | Classes | 666 | logplain |
| d--------- | Compat | 148 | logplain |
| d--------- | FSets | 886 | logplain |
| d--------- | Init | 401 | logplain |
| d--------- | Lists | 351 | logplain |
| d--------- | Logic | 1317 | logplain |
| d--------- | MSets | 567 | logplain |
| d--------- | NArith | 404 | logplain |
| d--------- | Numbers | 370 | logplain |
| d--------- | PArith | 225 | logplain |
| d--------- | Program | 366 | logplain |
| d--------- | QArith | 483 | logplain |
| d--------- | Reals | 2404 | logplain |
| d--------- | Relations | 225 | logplain |
| d--------- | Setoids | 74 | logplain |
| d--------- | Sets | 958 | logplain |
| d--------- | Sorting | 305 | logplain |
| d--------- | Strings | 109 | logplain |
| d--------- | Structures | 616 | logplain |
| d--------- | Unicode | 111 | logplain |
| d--------- | Vectors | 224 | logplain |
| d--------- | Wellfounded | 440 | logplain |
| d--------- | ZArith | 1254 | logplain |
| -rw-r--r-- | theories.itarget | 458 | logplain |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |