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: bind-free

d .. (parent)
- - rw-r--r-- 2,341 Makefile
- - rw-r--r-- 8,774 arithmetic-axioms.txt
- - rw-r--r-- 22,291 arithmetic-theory.lisp
- - rw-r--r-- 394 banner.lisp
- - rw-r--r-- 5,554 basic-helper.lisp
- - rw-r--r-- 24,024 basic.lisp
- - rw-r--r-- 6,023 building-blocks.lisp
- - rw-r--r-- 14,973 collect.lisp
- - rw-r--r-- 13,313 common.lisp
- - rw-r--r-- 1,096 default-hint.lisp
- - rw-r--r-- 25,476 integerp-meta.lisp
- - rw-r--r-- 35,292 integerp.lisp
- - rw-r--r-- 4,588 mini-theories-helper.lisp
- - rw-r--r-- 4,396 mini-theories.lisp
- - rw-r--r-- 24,070 normalize.lisp
- - rw-r--r-- 2,184 numerator-and-denominator.lisp
- - rw-r--r-- 3,191 remove-weak-inequalities.lisp
- - rw-r--r-- 11,375 simplify-helper.lisp
- - rw-r--r-- 35,422 simplify.lisp
- - rw-r--r-- 12,935 top.lisp