| Mode | Name | Size | |
|---|---|---|---|
| d--------- | Arith | 739 | logplain |
| d--------- | Bool | 252 | logplain |
| d--------- | Init | 293 | logplain |
| d--------- | IntMap | 579 | logplain |
| d--------- | Lists | 268 | logplain |
| d--------- | Logic | 757 | logplain |
| d--------- | NArith | 142 | logplain |
| d--------- | Reals | 2059 | logplain |
| d--------- | Relations | 258 | logplain |
| d--------- | Setoids | 36 | logplain |
| d--------- | Sets | 920 | logplain |
| d--------- | Sorting | 112 | logplain |
| d--------- | Wellfounded | 402 | logplain |
| d--------- | ZArith | 959 | logplain |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |