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: 4.0-3

d .. (parent)
d d rwxr-xr-x 4,096 books
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 4,096 doc
d d rwxr-xr-x 72 emacs
d d rwxr-xr-x 4,096 installation
d d rwxr-xr-x 42 interface
d d rwxr-xr-x 10 saved
- - rw-r--r-- 37,875 GNUmakefile
- - rw-r--r-- 17,976 GPL2
- - rw-r--r-- 112 LICENSE
- - rw-r--r-- 1,500 Makefile
- - rw-r--r-- 290,202 TAGS
- - rw-r--r-- 13,264 acl2-check.lisp
- - rw-r--r-- 52,356 acl2-fns.lisp
- - rw-r--r-- 55,169 acl2-init.lisp
- - rw-r--r-- 75 acl2-proclaims.lisp
- - rw-r--r-- 77,715 acl2.lisp
- - rw-r--r-- 8,911 akcl-acl2-trace.lisp
- - rw-r--r-- 4,412 all-files-nonstd.txt
- - rw-r--r-- 46,517 all-files-workshops.txt
- - rw-r--r-- 48,834 all-files.txt
- - rw-r--r-- 10,324 allegro-acl2-trace.lisp
- - rw-r--r-- 1,597,245 axioms.lisp
- - rw-r--r-- 571,587 basis.lisp
- - rw-r--r-- 168,133 bdd.lisp
- - rw-r--r-- 3,342 build-allegro-exe.cl
- - rw-r--r-- 26,779 defpkgs.lisp
- - rw-r--r-- 636,489 defthm.lisp
- - rw-r--r-- 407,192 defuns.lisp
- - rw-r--r-- 914,428 history-management.lisp
- - rw-r--r-- 102,712 hons-raw.lisp
- - rw-r--r-- 37,339 hons.lisp
- - rw-r--r-- 140,392 induct.lisp
- - rw-r--r-- 3,600 init.lisp
- - rw-r--r-- 351,632 interface-raw.lisp
- - rw-r--r-- 1,012,425 ld.lisp
- - rw-r--r-- 154,755 linear-a.lisp
- - rw-r--r-- 38,147 linear-b.lisp
- - rw-r--r-- 5,354 mcl-acl2-startup.lisp
- - rw-r--r-- 311,208 memoize-raw.lisp
- - rw-r--r-- 40,324 memoize.lisp
- - rw-r--r-- 26,976 multi-threading-raw.lisp
- - rw-r--r-- 5,219 new.html
- - rw-r--r-- 42,223 non-linear.lisp
- - rw-r--r-- 8,821 openmcl-acl2-trace.lisp
- - rw-r--r-- 1,228,483 other-events.lisp
- - rw-r--r-- 122,334 other-processes.lisp
- - rw-r--r-- 3,411 other-releases.html
- - rw-r--r-- 59,883 parallel-raw.lisp
- - rw-r--r-- 50,215 parallel.lisp
- - rw-r--r-- 65,623 proof-checker-a.lisp
- - rw-r--r-- 294,300 proof-checker-b.lisp
- - rw-r--r-- 1,228 proof-checker-pkg.lisp
- - rw-r--r-- 342,655 prove.lisp
- - rw-r--r-- 757,577 rewrite.lisp
- - rw-r--r-- 13,945 save-gprof.lsp
- - rw-r--r-- 331,044 simplify.lisp
- - rw-r--r-- 3,302 sum-list-example.lisp
- - rw-r--r-- 305,608 translate.lisp
- - rw-r--r-- 436,063 tutorial.lisp
- - rw-r--r-- 38,603 type-set-a.lisp
- - rw-r--r-- 502,817 type-set-b.lisp
- - rw-r--r-- 3,007 workshops.html