Mode | Name | Size | |
---|---|---|---|
d--------- | Arith | 814 | logplain |
d--------- | Bool | 327 | logplain |
d--------- | Init | 372 | logplain |
d--------- | IntMap | 689 | logplain |
d--------- | Lists | 343 | logplain |
d--------- | Logic | 792 | logplain |
d--------- | Num | 1079 | logplain |
d--------- | Reals | 2134 | logplain |
d--------- | Relations | 333 | logplain |
d--------- | Setoids | 74 | logplain |
d--------- | Sets | 995 | logplain |
d--------- | Sorting | 150 | logplain |
d--------- | Wellfounded | 477 | logplain |
d--------- | ZArith | 747 | logplain |