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: 3.1-1

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 39 emacs
d d rwxr-xr-x 42 interface
d d rwxr-xr-x 6 saved
- - rw-r--r-- 31,814 GNUmakefile
- - rw-r--r-- 17,976 LICENSE
- - rw-r--r-- 1,500 Makefile
- - rw-r--r-- 323,855 TAGS
- - rw-r--r-- 11,069 acl2-check.lisp
- - rw-r--r-- 33,390 acl2-fns.lisp
- - rw-r--r-- 50,244 acl2-init.lisp
- - rw-r--r-- 75 acl2-proclaims.lisp
- - rw-r--r-- 61,849 acl2.lisp
- - rw-r--r-- 6,088 akcl-acl2-trace.lisp
- - rw-r--r-- 25,063 all-files.txt
- - rw-r--r-- 10,833 allegro-acl2-trace.lisp
- - rw-r--r-- 1,321,116 axioms.lisp
- - rw-r--r-- 486,526 basis.lisp
- - rw-r--r-- 168,183 bdd.lisp
- - rw-r--r-- 3,342 build-allegro-exe.cl
- - rw-r--r-- 4,026 defpkgs.lisp
- - rw-r--r-- 543,845 defthm.lisp
- - rw-r--r-- 332,731 defuns.lisp
- - rw-r--r-- 719,451 history-management.lisp
- - rw-r--r-- 134,699 induct.lisp
- - rw-r--r-- 3,572 init.lisp
- - rw-r--r-- 51,684 installation.html
- - rw-r--r-- 225,119 interface-raw.lisp
- - rw-r--r-- 718,496 ld.lisp
- - rw-r--r-- 141,490 linear-a.lisp
- - rw-r--r-- 36,835 linear-b.lisp
- - rw-r--r-- 5,354 mcl-acl2-startup.lisp
- - rw-r--r-- 2,597 new.html
- - rw-r--r-- 42,078 non-linear.lisp
- - rw-r--r-- 8,075 openmcl-acl2-trace.lisp
- - rw-r--r-- 899,338 other-events.lisp
- - rw-r--r-- 118,567 other-processes.lisp
- - rw-r--r-- 2,615 other-releases.html
- - rw-r--r-- 65,792 proof-checker-a.lisp
- - rw-r--r-- 293,618 proof-checker-b.lisp
- - rw-r--r-- 1,228 proof-checker-pkg.lisp
- - rw-r--r-- 256,947 prove.lisp
- - rw-r--r-- 686,957 rewrite.lisp
- - rw-r--r-- 13,945 save-gprof.lsp
- - rw-r--r-- 286,542 simplify.lisp
- - rw-r--r-- 3,302 sum-list-example.lisp
- - rw-r--r-- 250,610 translate.lisp
- - rw-r--r-- 133,492 tutorial.lisp
- - rw-r--r-- 38,603 type-set-a.lisp
- - rw-r--r-- 442,965 type-set-b.lisp
- - rw-r--r-- 2,447 workshops.html