acl2-books 7.1-1 / usr / share / acl2-7.1 / books / acl2s

This file is indexed.

/usr/share/acl2-7.1/books/acl2s/ 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/acl2s/base-theory.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/ccg/ root:root 0o755
/usr/share/acl2-7.1/books/acl2s/ccg/ccg-settings-dependencies.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/cgen/ root:root 0o755
/usr/share/acl2-7.1/books/acl2s/cgen/acl2s-parameter.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/cgen/basis.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/cgen/build-enumcalls.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/cgen/callback.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/cgen/cgen-search.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/cgen/prove-cgen.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/cgen/random.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/cgen/simple-graph-array.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/cgen/top.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/cgen/type.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/cgen/utilities.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/cgen/with-timeout.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/custom.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/defdata/ root:root 0o755
/usr/share/acl2-7.1/books/acl2s/defdata/alistof.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/defdata/base.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/defdata/builtin-combinators.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/defdata/defdata-core.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/defdata/defdata-util.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/defdata/enumerators-gen.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/defdata/library-support.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/defdata/listof.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/defdata/map.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/defdata/mv-proof.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/defdata/num-list-fns.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/defdata/num-list-thms.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/defdata/random-state-basis1.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/defdata/random-state.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/defdata/record.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/defdata/register-combinator.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/defdata/register-data-constructor.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/defdata/register-type.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/defdata/rem-and-floor.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/defdata/sig.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/defdata/splitnat.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/defdata/switchnat.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/defdata/tau-characterization.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/defdata/top.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/defdata/var-book.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/defunc.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/doc.o root:root 0o777
/usr/share/acl2-7.1/books/acl2s/portcullis.o root:root 0o777

APT Browse - Built by Thomas Orozco.