acl2-books-certs 6.3-5 / usr / share / acl2-6.3 / books / coi / super-ihs

This file is indexed.

/usr/share/acl2-6.3/books/coi/super-ihs/ is in acl2-books-certs 6.3-5.

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

File Mime Type Owner Mode Size
..
/usr/share/acl2-6.3/books/coi/super-ihs/arithmetic.cert text/plain root:root 0o644 19.6 KB
/usr/share/acl2-6.3/books/coi/super-ihs/ash.cert text/plain root:root 0o644 20.0 KB
/usr/share/acl2-6.3/books/coi/super-ihs/basics.cert text/plain root:root 0o644 21.8 KB
/usr/share/acl2-6.3/books/coi/super-ihs/bit-functions.cert text/plain root:root 0o644 19.9 KB
/usr/share/acl2-6.3/books/coi/super-ihs/bit-twiddling-logops.cert text/plain root:root 0o644 22.8 KB
/usr/share/acl2-6.3/books/coi/super-ihs/byte-p.cert text/plain root:root 0o644 22.3 KB
/usr/share/acl2-6.3/books/coi/super-ihs/c-functions.cert text/plain root:root 0o644 23.0 KB
/usr/share/acl2-6.3/books/coi/super-ihs/carry.cert text/plain root:root 0o644 23.6 KB
/usr/share/acl2-6.3/books/coi/super-ihs/eric.cert text/plain root:root 0o644 18.9 KB
/usr/share/acl2-6.3/books/coi/super-ihs/evenp.cert text/plain root:root 0o644 21.9 KB
/usr/share/acl2-6.3/books/coi/super-ihs/fast.cert text/plain root:root 0o644 23.6 KB
/usr/share/acl2-6.3/books/coi/super-ihs/from-rtl.cert text/plain root:root 0o644 22.4 KB
/usr/share/acl2-6.3/books/coi/super-ihs/hacks.cert text/plain root:root 0o644 22.9 KB
/usr/share/acl2-6.3/books/coi/super-ihs/inductions.cert text/plain root:root 0o644 20.0 KB
/usr/share/acl2-6.3/books/coi/super-ihs/iter-sqrt.cert text/plain root:root 0o644 19.8 KB
/usr/share/acl2-6.3/books/coi/super-ihs/logapp.cert text/plain root:root 0o644 19.9 KB
/usr/share/acl2-6.3/books/coi/super-ihs/logbit.cert text/plain root:root 0o644 19.9 KB
/usr/share/acl2-6.3/books/coi/super-ihs/logbitp.cert text/plain root:root 0o644 19.9 KB
/usr/share/acl2-6.3/books/coi/super-ihs/logcar.cert text/plain root:root 0o644 20.2 KB
/usr/share/acl2-6.3/books/coi/super-ihs/logcdr.cert text/plain root:root 0o644 20.4 KB
/usr/share/acl2-6.3/books/coi/super-ihs/logcons.cert text/plain root:root 0o644 20.2 KB
/usr/share/acl2-6.3/books/coi/super-ihs/logext.cert text/plain root:root 0o644 21.6 KB
/usr/share/acl2-6.3/books/coi/super-ihs/loghead.cert text/plain root:root 0o644 21.2 KB
/usr/share/acl2-6.3/books/coi/super-ihs/logical-logops.cert text/plain root:root 0o644 22.6 KB
/usr/share/acl2-6.3/books/coi/super-ihs/logior-logapp-crock.cert text/plain root:root 0o644 5.2 KB
/usr/share/acl2-6.3/books/coi/super-ihs/loglist.cert text/plain root:root 0o644 22.5 KB
/usr/share/acl2-6.3/books/coi/super-ihs/logpair.cert text/plain root:root 0o644 22.2 KB
/usr/share/acl2-6.3/books/coi/super-ihs/logtail.cert text/plain root:root 0o644 20.3 KB
/usr/share/acl2-6.3/books/coi/super-ihs/lshu.cert text/plain root:root 0o644 23.0 KB
/usr/share/acl2-6.3/books/coi/super-ihs/meta.cert text/plain root:root 0o644 25.5 KB
/usr/share/acl2-6.3/books/coi/super-ihs/min-max.cert text/plain root:root 0o644 230 bytes
/usr/share/acl2-6.3/books/coi/super-ihs/plus-logapp-suck.cert text/plain root:root 0o644 8.7 KB
/usr/share/acl2-6.3/books/coi/super-ihs/signed-byte-p-overflow.cert text/plain root:root 0o644 8.7 KB
/usr/share/acl2-6.3/books/coi/super-ihs/super-ihs.cert text/plain root:root 0o644 23.5 KB
/usr/share/acl2-6.3/books/coi/super-ihs/unsigned-byte-p.cert text/plain root:root 0o644 19.9 KB

APT Browse - Built by Thomas Orozco.