Mode | Name | Size | |
---|---|---|---|
d--------- | Arith | 783 | logplain |
d--------- | Bool | 289 | logplain |
d--------- | Classes | 315 | logplain |
d--------- | FSets | 893 | logplain |
d--------- | Init | 330 | logplain |
d--------- | IntMap | 547 | logplain |
d--------- | Ints | 201 | logplain |
d--------- | Lists | 304 | logplain |
d--------- | Logic | 1248 | logplain |
d--------- | NArith | 319 | logplain |
d--------- | Numbers | 179 | logplain |
d--------- | Program | 305 | logplain |
d--------- | QArith | 366 | logplain |
d--------- | Reals | 2175 | logplain |
d--------- | Relations | 295 | logplain |
d--------- | Setoids | 154 | logplain |
d--------- | Sets | 957 | logplain |
d--------- | Sorting | 229 | logplain |
d--------- | Strings | 71 | logplain |
d--------- | Unicode | 34 | logplain |
d--------- | Wellfounded | 439 | logplain |
d--------- | ZArith | 1133 | logplain |