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: data-structures

d .. (parent)
d d rwxr-xr-x 4,096 memories
- - rwxr-xr-x 2,198 Makefile
- - rwxr-xr-x 1,278 README
- - rwxr-xr-x 26,552 alist-defthms.lisp
- - rwxr-xr-x 18,158 alist-defuns.lisp
- - rwxr-xr-x 1,019 alist-theory.lisp
- - rwxr-xr-x 31,916 array1.lisp
- - rwxr-xr-x 1,790 certify.lsp
- - rwxr-xr-x 114 defalist.acl2
- - rwxr-xr-x 40,128 defalist.lisp
- - rwxr-xr-x 755 define-structures-package.lisp
- - rwxr-xr-x 1,041 define-u-package.lisp
- - rwxr-xr-x 113 deflist.acl2
- - rw-r--r-- 48,314 deflist.lisp
- - rwxr-xr-x 42,923 list-defthms.lisp
- - rwxr-xr-x 9,857 list-defuns.lisp
- - rwxr-xr-x 1,017 list-theory.lisp
- - rwxr-xr-x 3,195 number-list-defthms.lisp
- - rwxr-xr-x 5,346 number-list-defuns.lisp
- - rwxr-xr-x 1,131 number-list-theory.lisp
- - rwxr-xr-x 8,036 set-defthms.lisp
- - rwxr-xr-x 2,726 set-defuns.lisp
- - rwxr-xr-x 989 set-theory.lisp
- - rwxr-xr-x 160 structures.acl2
- - rwxr-xr-x 94,675 structures.lisp
- - rwxr-xr-x 141 utilities.acl2
- - rw-r--r-- 37,429 utilities.lisp