package info
(click to toggle)
acl2 4.0-3
- links: PTS
- area: main
- in suites: squeeze
- size: 64,016 kB
- ctags: 78,502
- sloc: lisp: 816,995; makefile: 3,297; sh: 1,630; perl: 1,141; ansic: 358; cpp: 245; csh: 125; java: 12
Folder: books
 |
.. (parent) | |||
|
d | rwxr-xr-x | 84 | add-ons |
|
d | rwxr-xr-x | 4,096 | arithmetic |
|
d | rwxr-xr-x | 133 | arithmetic-2 |
|
d | rwxr-xr-x | 4,096 | arithmetic-3 |
|
d | rwxr-xr-x | 101 | arithmetic-4 |
|
d | rwxr-xr-x | 133 | arithmetic-5 |
|
d | rwxr-xr-x | 4,096 | bdd |
|
d | rwxr-xr-x | 4,096 | clause-processors |
|
d | rwxr-xr-x | 4,096 | coi |
|
d | rwxr-xr-x | 53 | concurrent-programs |
|
d | rwxr-xr-x | 154 | cowles |
|
d | rwxr-xr-x | 4,096 | data-structures |
|
d | rwxr-xr-x | 21 | deduction |
|
d | rwxr-xr-x | 4,096 | defexec |
|
d | rwxr-xr-x | 4,096 | defsort |
|
d | rwxr-xr-x | 144 | finite-set-theory |
|
d | rwxr-xr-x | 4,096 | fix-cert |
|
d | rwxr-xr-x | 4,096 | hacking |
|
d | rwxr-xr-x | 4,096 | hints |
|
d | rwxr-xr-x | 93 | hons-archive |
|
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 | 24 | models |
|
d | rwxr-xr-x | 4,096 | ordinals |
|
d | rwxr-xr-x | 4,096 | paco |
|
d | rwxr-xr-x | 4,096 | parallel |
|
d | rwxr-xr-x | 4,096 | powerlists |
|
d | rwxr-xr-x | 138 | proofstyles |
|
d | rwxr-xr-x | 150 | quadratic-reciprocity |
|
d | rwxr-xr-x | 4,096 | regex |
|
d | rwxr-xr-x | 104 | rtl |
|
d | rwxr-xr-x | 49 | security |
|
d | rwxr-xr-x | 4,096 | serialize |
|
d | rwxr-xr-x | 4,096 | sorting |
|
d | rwxr-xr-x | 4,096 | str |
|
d | rwxr-xr-x | 120 | symbolic |
|
d | rwxr-xr-x | 4,096 | system |
|
d | rwxr-xr-x | 4,096 | textbook |
|
d | rwxr-xr-x | 4,096 | tools |
|
d | rwxr-xr-x | 129 | tutorial-problems |
|
d | rwxr-xr-x | 4,096 | unicode |
|
d | rwxr-xr-x | 4,096 | xdoc |
 |
- | rw-r--r-- | 17,976 | GPL2 |
|
- | rw-r--r-- | 236 | LICENSE |
|
- | rw-r--r-- | 18,628 | Makefile |
|
- | rwxr-xr-x | 2,166 | Makefile-big |
|
- | rw-r--r-- | 836,192 | Makefile-fast |
|
- | rw-r--r-- | 18,421 | Makefile-generic |
|
- | rw-r--r-- | 3,866 | Makefile-psubdirs |
|
- | rw-r--r-- | 3,904 | Makefile-subdirs |
|
- | rw-r--r-- | 159 | README |
|
- | rw-r--r-- | 11,391 | Readme.html |
|
- | rwxr-xr-x | 13,907 | cert.pl |
|
- | rwxr-xr-x | 429 | certify-numbers.lsp |
|
- | rw-r--r-- | 20,619 | certlib.pl |
|
- | rwxr-xr-x | 5,170 | critpath.pl |
|
- | rw-r--r-- | 2,989 | make-all-deps.sh |
|
- | rw-r--r-- | 57,920 | make-targets |
|
- | rw-r--r-- | 3,274 | make_cert |
|
- | rw-r--r-- | 505 | make_cert.lsp |
|
- | rw-r--r-- | 99,318 | regression-targets |