package info
(click to toggle)
acl2 3.1-1
- links: PTS
- area: main
- in suites: etch, etch-m68k
- size: 36,712 kB
- ctags: 38,396
- sloc: lisp: 464,023; makefile: 5,470; sh: 86; csh: 47; cpp: 25; ansic: 22
Folder: books
.. (parent) | ||||
d | rwxr-xr-x | 4,096 | arithmetic | |
d | rwxr-xr-x | 97 | arithmetic-2 | |
d | rwxr-xr-x | 118 | arithmetic-3 | |
d | rwxr-xr-x | 4,096 | bdd | |
d | rwxr-xr-x | 27 | cli-misc | |
d | rwxr-xr-x | 53 | concurrent-programs | |
d | rwxr-xr-x | 4,096 | cowles | |
d | rwxr-xr-x | 4,096 | data-structures | |
d | rwxr-xr-x | 29 | deduction | |
d | rwxr-xr-x | 154 | defexec | |
d | rwxr-xr-x | 4,096 | finite-set-theory | |
d | rwxr-xr-x | 4,096 | ihs | |
d | rwxr-xr-x | 4,096 | make-event | |
d | rwxr-xr-x | 4,096 | meta | |
d | rwxr-xr-x | 4,096 | misc | |
d | rwxr-xr-x | 4,096 | ordinals | |
d | rwxr-xr-x | 4,096 | powerlists | |
d | rwxr-xr-x | 118 | proofstyles | |
d | rwxr-xr-x | 89 | rtl | |
d | rwxr-xr-x | 142 | symbolic | |
d | rwxr-xr-x | 4,096 | textbook | |
d | rwxr-xr-x | 4,096 | unicode | |
- | rw-r--r-- | 13,091 | Makefile | |
- | rw-r--r-- | 12,652 | Makefile-generic | |
- | rw-r--r-- | 2,678 | Makefile-psubdirs | |
- | rw-r--r-- | 2,715 | Makefile-subdirs | |
- | rw-r--r-- | 159 | README | |
- | rw-r--r-- | 7,915 | Readme.html | |
- | rwxr-xr-x | 429 | certify-numbers.lisp |