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
.. (parent) | ||||
d | rwxr-xr-x | 4,096 | books | |
d | rwxr-xr-x | 4,096 | debian | |
d | rwxr-xr-x | 4,096 | doc | |
d | rwxr-xr-x | 39 | emacs | |
d | rwxr-xr-x | 42 | interface | |
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 |