acl2-books-source 8.0dfsg-1 / usr / share / acl2-8.0dfsg / books / nonstd / nsa

This file is indexed.

/usr/share/acl2-8.0dfsg/books/nonstd/nsa/ is in acl2-books-source 8.0dfsg-1.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/alternating-series.lisp text/x-lisp root:root 0o644 3.8 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/chain-rule.lisp text/x-lisp root:root 0o644 46.4 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/complex-polar.lisp text/x-lisp root:root 0o644 13.8 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/continuity-product.lisp text/x-lisp root:root 0o644 2.7 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/continuity.lisp text/x-lisp root:root 0o644 52.0 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/derivative-raise.lisp text/x-lisp root:root 0o644 62.9 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/derivatives-composition.lisp text/x-lisp root:root 0o644 65.5 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/derivatives.lisp text/x-lisp root:root 0o644 78.4 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/equivalence-continuity.lisp text/x-lisp root:root 0o644 19.8 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/equivalence-derivatives-composition.lisp text/x-lisp root:root 0o644 66.7 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/equivalence-derivatives.lisp text/plain root:root 0o644 33.9 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/equivalence-limits.lisp text/x-lisp root:root 0o644 13.3 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/exp-continuous.lisp text/x-lisp root:root 0o644 19.6 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/exp-sum.lisp text/x-lisp root:root 0o644 45.8 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/exp.lisp text/x-lisp root:root 0o644 63.2 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/factorial.lisp text/plain root:root 0o644 1.0 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/inner-sums.lisp text/x-lisp root:root 0o644 19.9 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/intervals.lisp text/x-lisp root:root 0o644 18.3 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/inverse-derivatives.lisp text/x-lisp root:root 0o644 25.6 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/inverse-monotone.acl2 text/plain root:root 0o644 95 bytes
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/inverse-monotone.lisp text/x-lisp root:root 0o644 41.6 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/inverse-square.lisp text/x-lisp root:root 0o644 3.7 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/inverse-trig.lisp text/x-lisp root:root 0o644 9.6 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/inverses.lisp text/x-lisp root:root 0o644 2.8 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/ln.lisp text/plain root:root 0o644 23.5 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/next-integer.lisp text/x-lisp root:root 0o644 3.8 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/norm.lisp text/x-lisp root:root 0o644 21.1 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/nsa.lisp text/plain root:root 0o644 29.7 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/overspill-proof.lisp text/x-lisp root:root 0o644 10.4 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/overspill-test.lisp text/x-lisp root:root 0o644 1.9 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/overspill.lisp text/x-lisp root:root 0o644 5.5 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/raise.lisp text/x-lisp root:root 0o644 2.3 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/sine.lisp text/x-lisp root:root 0o644 35.1 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/sqrt.lisp text/x-lisp root:root 0o644 35.4 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/trig-approx.lisp text/x-lisp root:root 0o644 56.1 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/trig.lisp text/x-lisp root:root 0o644 92.7 KB

APT Browse - Built by Thomas Orozco.