/usr/share/acl2-6.3/books/proofstyles/invclock/

This file is indexed.

/usr/share/acl2-6.3/books/proofstyles/invclock/ 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/proofstyles/invclock/c2i/`		root:root	0o755
`/usr/share/acl2-6.3/books/proofstyles/invclock/c2i/c2i-partial.cert`	text/plain	root:root	0o644	4.0 KB
`/usr/share/acl2-6.3/books/proofstyles/invclock/c2i/c2i-total.cert`	text/plain	root:root	0o644	8.3 KB
`/usr/share/acl2-6.3/books/proofstyles/invclock/c2i/clock-to-inv.cert`	text/plain	root:root	0o644	8.6 KB
`/usr/share/acl2-6.3/books/proofstyles/invclock/compose/`		root:root	0o755
`/usr/share/acl2-6.3/books/proofstyles/invclock/compose/compose-c-c-partial.cert`	text/plain	root:root	0o644	8.3 KB
`/usr/share/acl2-6.3/books/proofstyles/invclock/compose/compose-c-c-total.cert`	text/plain	root:root	0o644	8.3 KB
`/usr/share/acl2-6.3/books/proofstyles/invclock/i2c/`		root:root	0o755
`/usr/share/acl2-6.3/books/proofstyles/invclock/i2c/i2c-partial.cert`	text/plain	root:root	0o644	4.0 KB
`/usr/share/acl2-6.3/books/proofstyles/invclock/i2c/i2c-total.cert`	text/plain	root:root	0o644	8.3 KB
`/usr/share/acl2-6.3/books/proofstyles/invclock/i2c/inv-to-clock.cert`	text/plain	root:root	0o644	8.6 KB