acl2-books-source 8.0dfsg-1 / usr / share / acl2-8.0dfsg / books / centaur / bitops

This file is indexed.

/usr/share/acl2-8.0dfsg/books/centaur/bitops/ 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/centaur/bitops/ash-bounds.lisp text/plain root:root 0o644 11.1 KB
/usr/share/acl2-8.0dfsg/books/centaur/bitops/cert.acl2 text/plain root:root 0o644 1.5 KB
/usr/share/acl2-8.0dfsg/books/centaur/bitops/congruences.lisp text/plain root:root 0o644 29.9 KB
/usr/share/acl2-8.0dfsg/books/centaur/bitops/contrib/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/centaur/bitops/contrib/ash-of-a-constant.lisp text/x-lisp root:root 0o644 3.0 KB
/usr/share/acl2-8.0dfsg/books/centaur/bitops/contrib/log2.lisp text/x-lisp root:root 0o644 579 bytes
/usr/share/acl2-8.0dfsg/books/centaur/bitops/defaults.lisp text/plain root:root 0o644 5.9 KB
/usr/share/acl2-8.0dfsg/books/centaur/bitops/equal-by-logbitp.lisp text/plain root:root 0o644 55.4 KB
/usr/share/acl2-8.0dfsg/books/centaur/bitops/extra-defs.lisp text/x-lisp root:root 0o644 22.2 KB
/usr/share/acl2-8.0dfsg/books/centaur/bitops/fast-logext.lisp text/html root:root 0o644 10.4 KB
/usr/share/acl2-8.0dfsg/books/centaur/bitops/fast-logrev.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/centaur/bitops/fast-logrev.lisp text/html root:root 0o644 10.0 KB
/usr/share/acl2-8.0dfsg/books/centaur/bitops/fast-rotate.lisp text/plain root:root 0o644 14.1 KB
/usr/share/acl2-8.0dfsg/books/centaur/bitops/floor.lisp text/plain root:root 0o644 5.5 KB
/usr/share/acl2-8.0dfsg/books/centaur/bitops/ihs-extensions.lisp text/x-lisp root:root 0o644 29.5 KB
/usr/share/acl2-8.0dfsg/books/centaur/bitops/ihsext-basics.lisp text/plain root:root 0o644 135.1 KB
/usr/share/acl2-8.0dfsg/books/centaur/bitops/install-bit.lisp text/plain root:root 0o644 3.3 KB
/usr/share/acl2-8.0dfsg/books/centaur/bitops/integer-length.lisp text/plain root:root 0o644 10.5 KB
/usr/share/acl2-8.0dfsg/books/centaur/bitops/limited-shifts.lisp text/plain root:root 0o644 13.4 KB
/usr/share/acl2-8.0dfsg/books/centaur/bitops/logbitp-bounds.lisp text/plain root:root 0o644 4.1 KB
/usr/share/acl2-8.0dfsg/books/centaur/bitops/logbitp-mismatch.lisp text/plain root:root 0o644 4.0 KB
/usr/share/acl2-8.0dfsg/books/centaur/bitops/merge.lisp text/plain root:root 0o644 17.7 KB
/usr/share/acl2-8.0dfsg/books/centaur/bitops/parity.lisp text/plain root:root 0o644 7.5 KB
/usr/share/acl2-8.0dfsg/books/centaur/bitops/part-install.lisp text/plain root:root 0o644 10.6 KB
/usr/share/acl2-8.0dfsg/books/centaur/bitops/part-select.lisp text/plain root:root 0o644 4.8 KB
/usr/share/acl2-8.0dfsg/books/centaur/bitops/portcullis.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/centaur/bitops/portcullis.lisp text/plain root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/centaur/bitops/rotate.acl2 text/plain root:root 0o644 1.5 KB
/usr/share/acl2-8.0dfsg/books/centaur/bitops/rotate.lisp text/plain root:root 0o644 26.6 KB
/usr/share/acl2-8.0dfsg/books/centaur/bitops/saturate.lisp text/plain root:root 0o644 10.9 KB
/usr/share/acl2-8.0dfsg/books/centaur/bitops/signed-byte-p.lisp text/plain root:root 0o644 60.0 KB
/usr/share/acl2-8.0dfsg/books/centaur/bitops/top.lisp text/html root:root 0o644 19.7 KB
/usr/share/acl2-8.0dfsg/books/centaur/bitops/trailing-0-count.lisp text/plain root:root 0o644 26.0 KB
/usr/share/acl2-8.0dfsg/books/centaur/bitops/width-find-rule.lisp text/x-lisp root:root 0o644 4.2 KB

APT Browse - Built by Thomas Orozco.