/usr/share/acl2-7.1/books/defexec/dag-unification/

This file is indexed.

/usr/share/acl2-7.1/books/defexec/dag-unification/ is in acl2-books 7.1-1.

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

File	Mime Type	Owner	Mode	Size
`..`
`/usr/share/acl2-7.1/books/defexec/dag-unification/basic.o`		root:root	0o777
`/usr/share/acl2-7.1/books/defexec/dag-unification/dag-unification-l.o`		root:root	0o777
`/usr/share/acl2-7.1/books/defexec/dag-unification/dag-unification-rules.o`		root:root	0o777
`/usr/share/acl2-7.1/books/defexec/dag-unification/dag-unification-st.o`		root:root	0o777
`/usr/share/acl2-7.1/books/defexec/dag-unification/dags.o`		root:root	0o777
`/usr/share/acl2-7.1/books/defexec/dag-unification/list-unification-rules.o`		root:root	0o777
`/usr/share/acl2-7.1/books/defexec/dag-unification/matching.o`		root:root	0o777
`/usr/share/acl2-7.1/books/defexec/dag-unification/subsumption-subst.o`		root:root	0o777
`/usr/share/acl2-7.1/books/defexec/dag-unification/subsumption.o`		root:root	0o777
`/usr/share/acl2-7.1/books/defexec/dag-unification/terms-as-dag.o`		root:root	0o777
`/usr/share/acl2-7.1/books/defexec/dag-unification/terms-dag-stobj.o`		root:root	0o777
`/usr/share/acl2-7.1/books/defexec/dag-unification/terms.o`		root:root	0o777