package info
(click to toggle)
coq 8.0pl3-2
- links: PTS
- area: main
- in suites: etch, etch-m68k
- size: 14,376 kB
- ctags: 17,713
- sloc: ml: 97,274; makefile: 1,257; sh: 1,215; lisp: 456; awk: 15
Folder: theories7
 |
.. (parent) | |||
|
d | rwxr-xr-x | 4,096 | Arith |
|
d | rwxr-xr-x | 143 | Bool |
|
d | rwxr-xr-x | 131 | Init |
|
d | rwxr-xr-x | 4,096 | IntMap |
|
d | rwxr-xr-x | 4,096 | Lists |
|
d | rwxr-xr-x | 4,096 | Logic |
|
d | rwxr-xr-x | 64 | NArith |
|
d | rwxr-xr-x | 4,096 | Reals |
|
d | rwxr-xr-x | 4,096 | Relations |
|
d | rwxr-xr-x | 29 | Setoids |
|
d | rwxr-xr-x | 4,096 | Sets |
|
d | rwxr-xr-x | 55 | Sorting |
|
d | rwxr-xr-x | 4,096 | Wellfounded |
|
d | rwxr-xr-x | 4,096 | ZArith |