acl2-books-certs 6.3-5 / usr / share / acl2-6.3 / books / cutil

This file is indexed.

/usr/share/acl2-6.3/books/cutil/ 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/cutil/da-base.cert text/plain root:root 0o644 5.8 KB
/usr/share/acl2-6.3/books/cutil/defaggregate-tests.cert text/plain root:root 0o644 151.4 KB
/usr/share/acl2-6.3/books/cutil/defaggregate.cert application/x-elc root:root 0o644 54.9 KB
/usr/share/acl2-6.3/books/cutil/defalist-tests.cert text/plain root:root 0o644 19.8 KB
/usr/share/acl2-6.3/books/cutil/defalist.cert text/plain root:root 0o644 24.8 KB
/usr/share/acl2-6.3/books/cutil/defenum.cert text/plain root:root 0o644 20.1 KB
/usr/share/acl2-6.3/books/cutil/define-tests.cert text/plain root:root 0o644 64.7 KB
/usr/share/acl2-6.3/books/cutil/define.cert application/x-elc root:root 0o644 24.4 KB
/usr/share/acl2-6.3/books/cutil/deflist-aux.cert text/plain root:root 0o644 10.0 KB
/usr/share/acl2-6.3/books/cutil/deflist-tests.cert text/plain root:root 0o644 739.9 KB
/usr/share/acl2-6.3/books/cutil/deflist.cert text/plain root:root 0o644 31.9 KB
/usr/share/acl2-6.3/books/cutil/defmapappend-tests.cert text/plain root:root 0o644 16.3 KB
/usr/share/acl2-6.3/books/cutil/defmapappend.cert text/x-lisp root:root 0o644 24.8 KB
/usr/share/acl2-6.3/books/cutil/defmvtypes.cert application/x-elc root:root 0o644 18.3 KB
/usr/share/acl2-6.3/books/cutil/defprojection-tests.cert text/plain root:root 0o644 241.1 KB
/usr/share/acl2-6.3/books/cutil/defprojection.cert text/plain root:root 0o644 24.8 KB
/usr/share/acl2-6.3/books/cutil/defredundant-tests.cert text/plain root:root 0o644 8.4 KB
/usr/share/acl2-6.3/books/cutil/defredundant.cert text/plain root:root 0o644 3.0 KB
/usr/share/acl2-6.3/books/cutil/defrule.cert text/plain root:root 0o644 15.8 KB
/usr/share/acl2-6.3/books/cutil/formals.cert text/plain root:root 0o644 30.6 KB
/usr/share/acl2-6.3/books/cutil/look-up.cert text/plain root:root 0o644 32.3 KB
/usr/share/acl2-6.3/books/cutil/maybe-defthm.cert text/plain root:root 0o644 2.9 KB
/usr/share/acl2-6.3/books/cutil/portcullis.cert text/plain root:root 0o644 2.3 KB
/usr/share/acl2-6.3/books/cutil/returnspecs.cert text/plain root:root 0o644 19.6 KB
/usr/share/acl2-6.3/books/cutil/support.cert text/plain root:root 0o644 21.1 KB
/usr/share/acl2-6.3/books/cutil/tools/ root:root 0o755
/usr/share/acl2-6.3/books/cutil/tools/assert-return-thms.cert text/plain root:root 0o644 11.8 KB
/usr/share/acl2-6.3/books/cutil/top.cert text/html root:root 0o644 31.7 KB
/usr/share/acl2-6.3/books/cutil/wizard.cert text/plain root:root 0o644 67.5 KB

APT Browse - Built by Thomas Orozco.