acl2-books 7.1-1 / usr / share / acl2-7.1 / books / std / util

This file is indexed.

/usr/share/acl2-7.1/books/std/util/ 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/std/util/bstar.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/da-base.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/defaggregate.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/defaggrify-defrec.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/defalist-base.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/defalist.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/defconsts.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/defenum.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/define.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/defines.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/deflist-aux.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/deflist-base.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/deflist.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/defmapappend.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/defmvtypes.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/defprojection.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/defredundant.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/defrule.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/defsum.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/defval.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/extensions/ root:root 0o755
/usr/share/acl2-7.1/books/std/util/extensions/assert-return-thms.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/formals.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/generate-symbol.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/look-up.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/maybe-defthm.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/returnspecs.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/support.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/tests/ root:root 0o755
/usr/share/acl2-7.1/books/std/util/tests/bstar.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/tests/defaggregate.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/tests/defaggrify-defrec.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/tests/defalist.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/tests/define.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/tests/defines.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/tests/deflist.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/tests/defmapappend.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/tests/defprojection.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/tests/defredundant.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/tests/defval.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/tests/top.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/top.o root:root 0o777
/usr/share/acl2-7.1/books/std/util/wizard.o root:root 0o777

APT Browse - Built by Thomas Orozco.