/usr/share/acl2-8.0dfsg/books/nonstd/integrals/

This file is indexed.

/usr/share/acl2-8.0dfsg/books/nonstd/integrals/ 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/integrals/continuous-function.lisp`	text/x-lisp	root:root	0o644	69.3 KB
`/usr/share/acl2-8.0dfsg/books/nonstd/integrals/equivalence-continuous-function.lisp`	text/x-lisp	root:root	0o644	6.2 KB
`/usr/share/acl2-8.0dfsg/books/nonstd/integrals/equivalence-ftc.lisp`	text/x-lisp	root:root	0o644	14.5 KB
`/usr/share/acl2-8.0dfsg/books/nonstd/integrals/equivalence-integrals.lisp`	text/x-lisp	root:root	0o644	18.3 KB
`/usr/share/acl2-8.0dfsg/books/nonstd/integrals/ftc-1.lisp`	text/plain	root:root	0o644	7.0 KB
`/usr/share/acl2-8.0dfsg/books/nonstd/integrals/ftc-2.lisp`	text/x-lisp	root:root	0o644	21.4 KB
`/usr/share/acl2-8.0dfsg/books/nonstd/integrals/integrable-functions.lisp`	text/x-lisp	root:root	0o644	5.2 KB
`/usr/share/acl2-8.0dfsg/books/nonstd/integrals/integral-of-polynomials.lisp`	text/plain	root:root	0o644	100 bytes
`/usr/share/acl2-8.0dfsg/books/nonstd/integrals/integration-composition-equivalences.lisp`	text/x-lisp	root:root	0o644	57.9 KB
`/usr/share/acl2-8.0dfsg/books/nonstd/integrals/integration-composition.lisp`	text/x-lisp	root:root	0o644	47.8 KB
`/usr/share/acl2-8.0dfsg/books/nonstd/integrals/make-partition.lisp`	text/x-lisp	root:root	0o644	5.3 KB
`/usr/share/acl2-8.0dfsg/books/nonstd/integrals/split-integral-by-subintervals.lisp`	text/plain	root:root	0o644	5.9 KB