/usr/share/acl2-8.0dfsg/books/coi/bags/

This file is indexed.

/usr/share/acl2-8.0dfsg/books/coi/bags/ 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/coi/bags/basic.lisp`	text/plain	root:root	0o644	131.1 KB
`/usr/share/acl2-8.0dfsg/books/coi/bags/bind-free-rules.lisp`	text/x-lisp	root:root	0o644	43.2 KB
`/usr/share/acl2-8.0dfsg/books/coi/bags/cert.acl2`	text/plain	root:root	0o644	1.3 KB
`/usr/share/acl2-8.0dfsg/books/coi/bags/cons.lisp`	text/x-lisp	root:root	0o644	12.9 KB
`/usr/share/acl2-8.0dfsg/books/coi/bags/eric-meta.lisp`	text/plain	root:root	0o644	143.6 KB
`/usr/share/acl2-8.0dfsg/books/coi/bags/extras.lisp`	text/plain	root:root	0o644	1.9 KB
`/usr/share/acl2-8.0dfsg/books/coi/bags/meta.lisp`	text/x-lisp	root:root	0o644	91.3 KB
`/usr/share/acl2-8.0dfsg/books/coi/bags/neq.lisp`	text/x-lisp	root:root	0o644	17.9 KB
`/usr/share/acl2-8.0dfsg/books/coi/bags/pick-a-point.lisp`	text/x-lisp	root:root	0o644	5.7 KB
`/usr/share/acl2-8.0dfsg/books/coi/bags/portcullis.acl2`	text/plain	root:root	0o644	1.3 KB
`/usr/share/acl2-8.0dfsg/books/coi/bags/portcullis.lisp`	text/plain	root:root	0o644	1.3 KB
`/usr/share/acl2-8.0dfsg/books/coi/bags/top.lisp`	text/plain	root:root	0o644	4.0 KB
`/usr/share/acl2-8.0dfsg/books/coi/bags/two-level-meta.lisp`	text/x-lisp	root:root	0o644	4.1 KB
`/usr/share/acl2-8.0dfsg/books/coi/bags/two-level.lisp`	text/plain	root:root	0o644	9.1 KB