/usr/share/acl2-6.3/books/centaur/defrstobj/

This file is indexed.

/usr/share/acl2-6.3/books/centaur/defrstobj/ 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/centaur/defrstobj/array-lemmas.cert`	text/plain	root:root	0o644	563 bytes
`/usr/share/acl2-6.3/books/centaur/defrstobj/basic-tests.cert`	text/plain	root:root	0o644	411.4 KB
`/usr/share/acl2-6.3/books/centaur/defrstobj/def-typed-record.cert`	text/plain	root:root	0o644	42.8 KB
`/usr/share/acl2-6.3/books/centaur/defrstobj/defrstobj.cert`	text/plain	root:root	0o644	44.1 KB
`/usr/share/acl2-6.3/books/centaur/defrstobj/fancy-worseguy.cert`	text/plain	root:root	0o644	2.1 KB
`/usr/share/acl2-6.3/books/centaur/defrstobj/g-delete-keys.cert`	text/plain	root:root	0o644	1.8 KB
`/usr/share/acl2-6.3/books/centaur/defrstobj/groundwork/`		root:root	0o755
`/usr/share/acl2-6.3/books/centaur/defrstobj/groundwork/array-rec.cert`	text/plain	root:root	0o644	8.9 KB
`/usr/share/acl2-6.3/books/centaur/defrstobj/groundwork/demo1.cert`	text/plain	root:root	0o644	1.7 KB
`/usr/share/acl2-6.3/books/centaur/defrstobj/groundwork/demo2.cert`	text/plain	root:root	0o644	1.7 KB
`/usr/share/acl2-6.3/books/centaur/defrstobj/groundwork/demo3.cert`	text/plain	root:root	0o644	8.1 KB
`/usr/share/acl2-6.3/books/centaur/defrstobj/groundwork/demo4.cert`	text/plain	root:root	0o644	8.1 KB
`/usr/share/acl2-6.3/books/centaur/defrstobj/groundwork/demo5.cert`	text/plain	root:root	0o644	43.6 KB
`/usr/share/acl2-6.3/books/centaur/defrstobj/groundwork/local.cert`	text/plain	root:root	0o644	1.4 KB
`/usr/share/acl2-6.3/books/centaur/defrstobj/portcullis.cert`	text/plain	root:root	0o644	949 bytes
`/usr/share/acl2-6.3/books/centaur/defrstobj/typed-record-tests.cert`	text/plain	root:root	0o644	70.2 KB
`/usr/share/acl2-6.3/books/centaur/defrstobj/typed-records.cert`	text/plain	root:root	0o644	42.5 KB