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

This file is indexed.

/usr/share/acl2-6.5/books/defexec/dag-unification/ 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/defexec/dag-unification/basic.lisp`	text/x-lisp	root:root	0o644	16.1 KB
`/usr/share/acl2-6.5/books/defexec/dag-unification/dag-unification-l.lisp`	text/plain	root:root	0o644	16.5 KB
`/usr/share/acl2-6.5/books/defexec/dag-unification/dag-unification-rules.lisp`	text/plain	root:root	0o644	55.7 KB
`/usr/share/acl2-6.5/books/defexec/dag-unification/dag-unification-st.lisp`	text/plain	root:root	0o644	40.1 KB
`/usr/share/acl2-6.5/books/defexec/dag-unification/dags.lisp`	text/x-lisp	root:root	0o644	46.0 KB
`/usr/share/acl2-6.5/books/defexec/dag-unification/list-unification-rules.lisp`	text/x-tex	root:root	0o644	43.3 KB
`/usr/share/acl2-6.5/books/defexec/dag-unification/matching.lisp`	text/x-lisp	root:root	0o644	19.0 KB
`/usr/share/acl2-6.5/books/defexec/dag-unification/subsumption-subst.lisp`	text/x-lisp	root:root	0o644	22.1 KB
`/usr/share/acl2-6.5/books/defexec/dag-unification/subsumption.lisp`	text/x-lisp	root:root	0o644	16.4 KB
`/usr/share/acl2-6.5/books/defexec/dag-unification/terms-as-dag.lisp`	text/x-lisp	root:root	0o644	104.6 KB
`/usr/share/acl2-6.5/books/defexec/dag-unification/terms-dag-stobj.lisp`	text/x-lisp	root:root	0o644	5.9 KB
`/usr/share/acl2-6.5/books/defexec/dag-unification/terms.lisp`	text/x-lisp	root:root	0o644	43.2 KB