| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| cmp.alg/ | H | - | - | 2,713 | 2,165 | |
| cmp.categories.pre/ | H | - | - | 58 | 33 | |
| cmp.common/ | H | - | - | 82 | 42 | |
| cmp.concept/ | H | - | - | 452 | 349 | |
| cmp.partialord/ | H | - | - | 189 | 156 | |
| cmp.result/ | H | - | - | 89 | 60 | |
| cmp.strongord/ | H | - | - | 198 | 164 | |
| cmp.weakord/ | H | - | - | 180 | 146 | |
| compare.syn/ | H | - | - | 110 | 78 |