/usr/share/acl2-6.5/books/coi/bags/

This file is indexed.

/usr/share/acl2-6.5/books/coi/bags/ is in acl2-books-source 6.5-2.

This file is owned by root:root, with mode 0o755.

File	Mime Type	Owner	Mode	Size
`..`
`/usr/share/acl2-6.5/books/coi/bags/basic.lisp`	text/plain	root:root	0o644	130.7 KB
`/usr/share/acl2-6.5/books/coi/bags/bind-free-rules.lisp`	text/x-lisp	root:root	0o644	42.4 KB
`/usr/share/acl2-6.5/books/coi/bags/cert.acl2`	text/plain	root:root	0o644	501 bytes
`/usr/share/acl2-6.5/books/coi/bags/cons.lisp`	text/x-lisp	root:root	0o644	12.1 KB
`/usr/share/acl2-6.5/books/coi/bags/eric-meta.lisp`	text/x-lisp	root:root	0o644	143.1 KB
`/usr/share/acl2-6.5/books/coi/bags/extras.lisp`	text/plain	root:root	0o644	1013 bytes
`/usr/share/acl2-6.5/books/coi/bags/meta.lisp`	text/x-lisp	root:root	0o644	89.1 KB
`/usr/share/acl2-6.5/books/coi/bags/neq.lisp`	text/x-lisp	root:root	0o644	17.1 KB
`/usr/share/acl2-6.5/books/coi/bags/pick-a-point.lisp`	text/x-lisp	root:root	0o644	4.8 KB
`/usr/share/acl2-6.5/books/coi/bags/top.lisp`	text/plain	root:root	0o644	3.1 KB
`/usr/share/acl2-6.5/books/coi/bags/two-level-meta.lisp`	text/x-lisp	root:root	0o644	3.3 KB
`/usr/share/acl2-6.5/books/coi/bags/two-level.lisp`	text/plain	root:root	0o644	8.2 KB