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

d .. (parent)
- - rwxr-xr-x 1,860 Makefile
- - rwxr-xr-x 667 certify.lsp
- - rw-r--r-- 1,031 copyright
- - rw-r--r-- 11,251 e0-ordinal.lisp
- - rw-r--r-- 5,554 lexicographic-ordering.lisp
- - rwxr-xr-x 1,754 limits.lisp
- - rwxr-xr-x 12,100 ordinal-addition.lisp
- - rwxr-xr-x 10,207 ordinal-basic-thms.lisp
- - rwxr-xr-x 3,729 ordinal-counter-examples.lisp
- - rwxr-xr-x 8,991 ordinal-definitions.lisp
- - rw-r--r-- 30,974 ordinal-exponentiation.lisp
- - rwxr-xr-x 18,349 ordinal-isomorphism.lisp
- - rwxr-xr-x 15,509 ordinal-multiplication.lisp
- - rwxr-xr-x 5,824 ordinal-total-order.lisp
- - rwxr-xr-x 80 ordinals-without-arithmetic.lisp
- - rwxr-xr-x 111 ordinals.lisp
- - rw-r--r-- 131 proof-of-well-foundedness.acl2
- - rw-r--r-- 4,533 proof-of-well-foundedness.lisp
- - rwxr-xr-x 144 top-with-meta.lisp