/usr/share/acl2-4.3/books/wp-gen/

This file is indexed.

/usr/share/acl2-4.3/books/wp-gen/ 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/wp-gen/examples/`		root:root	0o755
`/usr/share/acl2-4.3/books/wp-gen/examples/false-prog.lisp`	text/plain	root:root	0o644	1.3 KB
`/usr/share/acl2-4.3/books/wp-gen/examples/new-program.lisp`	text/plain	root:root	0o644	1.0 KB
`/usr/share/acl2-4.3/books/wp-gen/examples/new-program2.lisp`	text/plain	root:root	0o644	1.1 KB
`/usr/share/acl2-4.3/books/wp-gen/examples/pcode.lisp`	text/x-lisp	root:root	0o644	684 bytes
`/usr/share/acl2-4.3/books/wp-gen/examples/sum-simple-wrong.lisp`	text/plain	root:root	0o644	1.4 KB
`/usr/share/acl2-4.3/books/wp-gen/examples/sum-simple.lisp`	text/plain	root:root	0o644	1.3 KB
`/usr/share/acl2-4.3/books/wp-gen/examples/sum-simpler.lisp`	text/plain	root:root	0o644	1.2 KB
`/usr/share/acl2-4.3/books/wp-gen/examples/sum.lisp`	text/plain	root:root	0o644	2.0 KB
`/usr/share/acl2-4.3/books/wp-gen/mutrec/`		root:root	0o755
`/usr/share/acl2-4.3/books/wp-gen/mutrec/mutrec.lisp`	text/x-lisp	root:root	0o644	8.6 KB
`/usr/share/acl2-4.3/books/wp-gen/shared.lisp`	text/x-lisp	root:root	0o644	911 bytes
`/usr/share/acl2-4.3/books/wp-gen/wp-gen.acl2`	text/plain	root:root	0o644	41 bytes
`/usr/share/acl2-4.3/books/wp-gen/wp-gen.lisp`	text/x-lisp	root:root	0o644	21.1 KB