| Mode | Name | Size | |
|---|---|---|---|
| d--------- | Arith | 863 | logplain |
| d--------- | Bool | 289 | logplain |
| d--------- | Classes | 537 | logplain |
| d--------- | FSets | 806 | logplain |
| d--------- | Init | 330 | logplain |
| d--------- | Lists | 306 | logplain |
| d--------- | Logic | 1253 | logplain |
| d--------- | MSets | 409 | logplain |
| d--------- | NArith | 477 | logplain |
| d--------- | Numbers | 295 | logplain |
| d--------- | Program | 328 | logplain |
| d--------- | QArith | 445 | logplain |
| d--------- | Reals | 2254 | logplain |
| d--------- | Relations | 224 | logplain |
| d--------- | Setoids | 73 | logplain |
| d--------- | Sets | 957 | logplain |
| d--------- | Sorting | 229 | logplain |
| d--------- | Strings | 71 | logplain |
| d--------- | Structures | 661 | logplain |
| d--------- | Unicode | 34 | logplain |
| d--------- | Wellfounded | 439 | logplain |
| d--------- | ZArith | 1213 | logplain |
| -rw-r--r-- | theories.itarget | 8070 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |