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

d .. (parent)
d d rwxr-xr-x 4,096 arithmetic
d d rwxr-xr-x 97 arithmetic-2
d d rwxr-xr-x 118 arithmetic-3
d d rwxr-xr-x 4,096 bdd
d d rwxr-xr-x 27 cli-misc
d d rwxr-xr-x 53 concurrent-programs
d d rwxr-xr-x 4,096 cowles
d d rwxr-xr-x 4,096 data-structures
d d rwxr-xr-x 29 deduction
d d rwxr-xr-x 154 defexec
d d rwxr-xr-x 4,096 finite-set-theory
d d rwxr-xr-x 4,096 ihs
d d rwxr-xr-x 4,096 make-event
d d rwxr-xr-x 4,096 meta
d d rwxr-xr-x 4,096 misc
d d rwxr-xr-x 4,096 ordinals
d d rwxr-xr-x 4,096 powerlists
d d rwxr-xr-x 118 proofstyles
d d rwxr-xr-x 89 rtl
d d rwxr-xr-x 142 symbolic
d d rwxr-xr-x 4,096 textbook
d 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