| Mode | Name | Size | |
|---|---|---|---|
| d--------- | Arith | 821 | logplain |
| d--------- | Bool | 327 | logplain |
| d--------- | Classes | 494 | logplain |
| d--------- | FSets | 844 | logplain |
| d--------- | Init | 368 | logplain |
| d--------- | Lists | 344 | logplain |
| d--------- | Logic | 1291 | logplain |
| d--------- | MSets | 447 | logplain |
| d--------- | NArith | 474 | logplain |
| d--------- | Numbers | 333 | logplain |
| d--------- | Program | 366 | logplain |
| d--------- | QArith | 483 | logplain |
| d--------- | Reals | 2292 | logplain |
| d--------- | Relations | 262 | logplain |
| d--------- | Setoids | 111 | logplain |
| d--------- | Sets | 995 | logplain |
| d--------- | Sorting | 342 | logplain |
| d--------- | Strings | 109 | logplain |
| d--------- | Structures | 616 | logplain |
| d--------- | Unicode | 72 | logplain |
| d--------- | Wellfounded | 477 | logplain |
| d--------- | ZArith | 1209 | logplain |
| -rw-r--r-- | theories.itarget | 403 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |