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

d .. (parent)
- - rw-r--r-- 1,819 Makefile
- - rw-r--r-- 8,774 arithmetic-axioms.txt
- - rw-r--r-- 3,310 basic-arithmetic-helper.lisp
- - rw-r--r-- 6,246 basic-arithmetic.lisp
- - rw-r--r-- 2,418 expt-helper.lisp
- - rw-r--r-- 5,628 expt.lisp
- - rw-r--r-- 3,636 inequalities.lisp
- - rw-r--r-- 2,118 mini-theories.lisp
- - rw-r--r-- 6,292 non-linear.lisp
- - rw-r--r-- 20,262 num-and-denom-helper.lisp
- - rw-r--r-- 2,797 numerator-and-denominator.lisp
- - rw-r--r-- 3,249 prefer-times.lisp
- - rw-r--r-- 356 top.lisp