/usr/share/acl2-8.0dfsg/books/defexec/dag-unification/

This file is indexed.

/usr/share/acl2-8.0dfsg/books/defexec/dag-unification/ is in acl2-books-source 8.0dfsg-1.

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

File	Mime Type	Owner	Mode	Size
`..`
`/usr/share/acl2-8.0dfsg/books/defexec/dag-unification/basic.lisp`	text/x-lisp	root:root	0o644	16.1 KB
`/usr/share/acl2-8.0dfsg/books/defexec/dag-unification/dag-unification-l.lisp`	text/plain	root:root	0o644	16.5 KB
`/usr/share/acl2-8.0dfsg/books/defexec/dag-unification/dag-unification-rules.lisp`	text/plain	root:root	0o644	55.5 KB
`/usr/share/acl2-8.0dfsg/books/defexec/dag-unification/dag-unification-st.lisp`	text/plain	root:root	0o644	40.0 KB
`/usr/share/acl2-8.0dfsg/books/defexec/dag-unification/dags.lisp`	text/x-lisp	root:root	0o644	45.8 KB
`/usr/share/acl2-8.0dfsg/books/defexec/dag-unification/list-unification-rules.lisp`	text/x-tex	root:root	0o644	43.1 KB
`/usr/share/acl2-8.0dfsg/books/defexec/dag-unification/matching.lisp`	text/x-lisp	root:root	0o644	18.9 KB
`/usr/share/acl2-8.0dfsg/books/defexec/dag-unification/subsumption-subst.lisp`	text/x-lisp	root:root	0o644	22.0 KB
`/usr/share/acl2-8.0dfsg/books/defexec/dag-unification/subsumption.lisp`	text/x-lisp	root:root	0o644	16.4 KB
`/usr/share/acl2-8.0dfsg/books/defexec/dag-unification/terms-as-dag.lisp`	text/x-lisp	root:root	0o644	104.1 KB
`/usr/share/acl2-8.0dfsg/books/defexec/dag-unification/terms-dag-stobj.lisp`	text/x-lisp	root:root	0o644	5.9 KB
`/usr/share/acl2-8.0dfsg/books/defexec/dag-unification/terms.lisp`	text/x-lisp	root:root	0o644	43.1 KB