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: misc

d .. (parent)
- - rwxr-xr-x 2,031 Makefile
- - rwxr-xr-x 13,392 README
- - rw-r--r-- 8,172 bash.lisp
- - rwxr-xr-x 254 certify.lsp
- - rwxr-xr-x 17,045 computed-hint.lisp
- - rwxr-xr-x 17,431 csort.lisp
- - rw-r--r-- 2,122 defmac.lisp
- - rw-r--r-- 17,376 defpun.lisp
- - rwxr-xr-x 63 dft-ex.acl2
- - rwxr-xr-x 4,653 dft-ex.lisp
- - rwxr-xr-x 30,090 dft.lisp
- - rwxr-xr-x 5,611 dump-events.lisp
- - rw-r--r-- 52,588 expander.lisp
- - rwxr-xr-x 5,855 fibonacci.lisp
- - rw-r--r-- 3,119 file-io.lisp
- - rw-r--r-- 2,983 find-lemmas.lisp
- - rwxr-xr-x 19,194 grcd.lisp
- - rw-r--r-- 3,686 hacker.lisp
- - rw-r--r-- 182 hanoi.acl2
- - rw-r--r-- 12,549 hanoi.lisp
- - rw-r--r-- 23,923 how-to-prove-thms.lisp
- - rwxr-xr-x 8,225 int-division.lisp
- - rwxr-xr-x 8,260 meta-lemmas.lisp
- - rwxr-xr-x 35,060 mult.lisp
- - rwxr-xr-x 9,435 priorities.lisp
- - rwxr-xr-x 4,720 problem13.lisp
- - rw-r--r-- 5,863 process-book-readme.lisp
- - rw-r--r-- 183 radix.acl2
- - rw-r--r-- 4,938 radix.lisp
- - rwxr-xr-x 7,718 records.lisp
- - rwxr-xr-x 11,125 records0.lisp
- - rw-r--r-- 29,191 rtl-untranslate.lisp
- - rw-r--r-- 44,028 simplify-defuns.lisp
- - rw-r--r-- 18,800 simplify-defuns.txt
- - rwxr-xr-x 11,240 sin-cos.lisp
- - rw-r--r-- 5,789 sort-symbols.lisp
- - rw-r--r-- 2,225 sticky-disable.lisp
- - rwxr-xr-x 5,897 symbol-btree.lisp
- - rwxr-xr-x 696 total-order.lisp
- - rw-r--r-- 3,873 transfinite.lisp
- - rw-r--r-- 19,066 untranslate-patterns.lisp