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

d .. (parent)
- - rwxr-xr-x 1,979 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 29,025 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
- - rwxr-xr-x 48,308 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
- - rwxr-xr-x 37,422 utilities.lisp