/usr/share/acl2-8.0dfsg/books/proofstyles/invclock/

This file is indexed.

/usr/share/acl2-8.0dfsg/books/proofstyles/invclock/ 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/proofstyles/invclock/c2i/`		root:root	0o755
`/usr/share/acl2-8.0dfsg/books/proofstyles/invclock/c2i/c2i-partial.lisp`	text/x-lisp	root:root	0o644	11.7 KB
`/usr/share/acl2-8.0dfsg/books/proofstyles/invclock/c2i/c2i-total.lisp`	text/x-lisp	root:root	0o644	37.5 KB
`/usr/share/acl2-8.0dfsg/books/proofstyles/invclock/c2i/clock-to-inv.lisp`	text/x-lisp	root:root	0o644	16.4 KB
`/usr/share/acl2-8.0dfsg/books/proofstyles/invclock/compose/`		root:root	0o755
`/usr/share/acl2-8.0dfsg/books/proofstyles/invclock/compose/compose-c-c-partial.lisp`	text/x-lisp	root:root	0o644	10.6 KB
`/usr/share/acl2-8.0dfsg/books/proofstyles/invclock/compose/compose-c-c-total.lisp`	text/x-lisp	root:root	0o644	10.2 KB
`/usr/share/acl2-8.0dfsg/books/proofstyles/invclock/i2c/`		root:root	0o755
`/usr/share/acl2-8.0dfsg/books/proofstyles/invclock/i2c/i2c-partial.lisp`	text/x-lisp	root:root	0o644	9.7 KB
`/usr/share/acl2-8.0dfsg/books/proofstyles/invclock/i2c/i2c-total.lisp`	text/x-lisp	root:root	0o644	6.5 KB
`/usr/share/acl2-8.0dfsg/books/proofstyles/invclock/i2c/inv-to-clock.lisp`	text/x-lisp	root:root	0o644	14.3 KB