package info (click to toggle)
acl2 2.9-2
  • links: PTS
  • area: main
  • in suites: sarge
  • size: 27,196 kB
  • ctags: 26,113
  • sloc: lisp: 353,947; makefile: 3,250; sh: 85; csh: 47

Folder: 2.9-2

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 51 emacs
d d rwxr-xr-x 42 interface
d d rwxr-xr-x 6 saved
- - rw-r--r-- 27,413 GNUmakefile
- - rw-r--r-- 17,976 LICENSE
- - rw-r--r-- 1,452 Makefile
- - rw-r--r-- 302,766 TAGS
- - rw-r--r-- 10,647 acl2-check.lisp
- - rw-r--r-- 21,302 acl2-fns.lisp
- - rw-r--r-- 40,938 acl2-init.lisp
- - rw-r--r-- 54,030 acl2.lisp
- - rw-r--r-- 5,983 akcl-acl2-trace.lisp
- - rw-r--r-- 13,632 all-files.txt
- - rw-r--r-- 10,246 allegro-acl2-trace.lisp
- - rw-r--r-- 1,187,955 axioms.lisp
- - rw-r--r-- 432,214 basis.lisp
- - rw-r--r-- 168,048 bdd.lisp
- - rw-r--r-- 4,026 defpkgs.lisp
- - rw-r--r-- 497,903 defthm.lisp
- - rw-r--r-- 307,088 defuns.lisp
- - rw-r--r-- 3,412 enable-eval.lisp
- - rw-r--r-- 1,352 gcl-patch.lisp
- - rw-r--r-- 658,212 history-management.lisp
- - rw-r--r-- 133,221 induct.lisp
- - rw-r--r-- 2,615 init.lsp
- - rw-r--r-- 53,104 installation.html
- - rw-r--r-- 215,091 interface-raw.lisp
- - rw-r--r-- 581,442 ld.lisp
- - rw-r--r-- 140,750 linear-a.lisp
- - rw-r--r-- 35,173 linear-b.lisp
- - rw-r--r-- 5,354 mcl-acl2-startup.lisp
- - rw-r--r-- 195 new.html
- - rw-r--r-- 41,989 non-linear.lisp
- - rw-r--r-- 7,970 openmcl-acl2-trace.lisp
- - rw-r--r-- 714,925 other-events.lisp
- - rw-r--r-- 118,149 other-processes.lisp
- - rw-r--r-- 64,208 proof-checker-a.lisp
- - rw-r--r-- 288,315 proof-checker-b.lisp
- - rw-r--r-- 1,228 proof-checker-pkg.lisp
- - rw-r--r-- 246,593 prove.lisp
- - rw-r--r-- 654,739 rewrite.lisp
- - rw-r--r-- 274,709 simplify.lisp
- - rw-r--r-- 3,302 sum-list-example.lisp
- - rw-r--r-- 210,273 translate.lisp
- - rw-r--r-- 132,898 tutorial.lisp
- - rw-r--r-- 38,393 type-set-a.lisp
- - rw-r--r-- 424,952 type-set-b.lisp
- - rw-r--r-- 1,883 workshops.html