acl2-books-certs 6.3-5 / usr / share / acl2-6.3 / books / coi / util

This file is indexed.

/usr/share/acl2-6.3/books/coi/util/ 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/util/clause-processor.cert text/plain root:root 0o644 3.1 KB
/usr/share/acl2-6.3/books/coi/util/debug.cert text/x-lisp root:root 0o644 3.8 KB
/usr/share/acl2-6.3/books/coi/util/defbinding.cert text/plain root:root 0o644 254 bytes
/usr/share/acl2-6.3/books/coi/util/defdoc.cert text/plain root:root 0o644 1.7 KB
/usr/share/acl2-6.3/books/coi/util/deffix.cert text/plain root:root 0o644 490 bytes
/usr/share/acl2-6.3/books/coi/util/defsubtype.cert text/plain root:root 0o644 2.8 KB
/usr/share/acl2-6.3/books/coi/util/defun-support.cert text/plain root:root 0o644 1.1 KB
/usr/share/acl2-6.3/books/coi/util/defun.cert text/plain root:root 0o644 2.8 KB
/usr/share/acl2-6.3/books/coi/util/extra-info-test.cert text/plain root:root 0o644 920 bytes
/usr/share/acl2-6.3/books/coi/util/extra-info.cert text/plain root:root 0o644 378 bytes
/usr/share/acl2-6.3/books/coi/util/fixequiv.cert text/plain root:root 0o644 227 bytes
/usr/share/acl2-6.3/books/coi/util/good-rewrite-order.cert text/plain root:root 0o644 1.1 KB
/usr/share/acl2-6.3/books/coi/util/ifdef.cert text/x-lisp root:root 0o644 5.0 KB
/usr/share/acl2-6.3/books/coi/util/iff.cert text/plain root:root 0o644 211 bytes
/usr/share/acl2-6.3/books/coi/util/ifixequiv.cert text/plain root:root 0o644 361 bytes
/usr/share/acl2-6.3/books/coi/util/implies.cert text/plain root:root 0o644 369 bytes
/usr/share/acl2-6.3/books/coi/util/in-conclusion.cert text/plain root:root 0o644 242 bytes
/usr/share/acl2-6.3/books/coi/util/ith.cert text/plain root:root 0o644 214 bytes
/usr/share/acl2-6.3/books/coi/util/mv-nth.cert text/plain root:root 0o644 245 bytes
/usr/share/acl2-6.3/books/coi/util/nfixequiv.cert text/plain root:root 0o644 492 bytes
/usr/share/acl2-6.3/books/coi/util/ordinal-order.cert text/plain root:root 0o644 5.0 KB
/usr/share/acl2-6.3/books/coi/util/pseudo-translate.cert text/plain root:root 0o644 252 bytes
/usr/share/acl2-6.3/books/coi/util/recursion-support.cert text/plain root:root 0o644 1.2 KB
/usr/share/acl2-6.3/books/coi/util/rewrite-equiv.cert text/plain root:root 0o644 4.3 KB
/usr/share/acl2-6.3/books/coi/util/rule-sets-documentation.cert text/plain root:root 0o644 4.6 KB
/usr/share/acl2-6.3/books/coi/util/rule-sets-support.cert text/plain root:root 0o644 394 bytes
/usr/share/acl2-6.3/books/coi/util/rule-sets.cert text/plain root:root 0o644 3.2 KB
/usr/share/acl2-6.3/books/coi/util/skip-rewrite.cert text/plain root:root 0o644 3.2 KB
/usr/share/acl2-6.3/books/coi/util/syntaxp.cert text/plain root:root 0o644 226 bytes
/usr/share/acl2-6.3/books/coi/util/table.cert text/plain root:root 0o644 252 bytes

APT Browse - Built by Thomas Orozco.