/usr/share/acl2-4.3/books/centaur/aig/

This file is indexed.

/usr/share/acl2-4.3/books/centaur/aig/ is in acl2-books-source 4.3-3.

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

File	Mime Type	Owner	Mode	Size
`..`
`/usr/share/acl2-4.3/books/centaur/aig/aig-equivs.lisp`	text/plain	root:root	0o644	1.4 KB
`/usr/share/acl2-4.3/books/centaur/aig/aig-vars.lisp`	text/x-lisp	root:root	0o644	5.0 KB
`/usr/share/acl2-4.3/books/centaur/aig/base.lisp`	text/x-lisp	root:root	0o644	18.4 KB
`/usr/share/acl2-4.3/books/centaur/aig/bddify-correct.lisp`	text/plain	root:root	0o644	94.8 KB
`/usr/share/acl2-4.3/books/centaur/aig/bddify.lisp`	text/x-lisp	root:root	0o644	34.3 KB
`/usr/share/acl2-4.3/books/centaur/aig/cert.acl2`	text/plain	root:root	0o644	29 bytes
`/usr/share/acl2-4.3/books/centaur/aig/eval-restrict.lisp`	text/plain	root:root	0o644	20.9 KB
`/usr/share/acl2-4.3/books/centaur/aig/faig-op-commutativity.lisp`	text/x-lisp	root:root	0o644	1.8 KB
`/usr/share/acl2-4.3/books/centaur/aig/g-aig-eval.acl2`	text/plain	root:root	0o644	80 bytes
`/usr/share/acl2-4.3/books/centaur/aig/g-aig-eval.lisp`	text/x-lisp	root:root	0o644	22.9 KB
`/usr/share/acl2-4.3/books/centaur/aig/induction.lisp`	text/x-lisp	root:root	0o644	8.9 KB
`/usr/share/acl2-4.3/books/centaur/aig/misc.lisp`	text/x-lisp	root:root	0o644	10.6 KB
`/usr/share/acl2-4.3/books/centaur/aig/portcullis.acl2`	text/plain	root:root	0o644	143 bytes
`/usr/share/acl2-4.3/books/centaur/aig/portcullis.lisp`	text/plain	root:root	0o644	21 bytes
`/usr/share/acl2-4.3/books/centaur/aig/three-four.lisp`	text/plain	root:root	0o644	10.8 KB
`/usr/share/acl2-4.3/books/centaur/aig/witness.acl2`	text/plain	root:root	0o644	74 bytes
`/usr/share/acl2-4.3/books/centaur/aig/witness.lisp`	text/x-lisp	root:root	0o644	6.3 KB