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

This file is indexed.

/usr/share/acl2-7.1/books/centaur/ 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/centaur/aig/ root:root 0o755
/usr/share/acl2-7.1/books/centaur/aig/accumulate-nodes-vars.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aig/aig-base.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aig/aig-equivs.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aig/aig-print.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aig/aig-vars-ext.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aig/aig-vars-fast-raw.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aig/aig-vars-fast.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aig/aig-vars.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aig/aig2c.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aig/aiger-help.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aig/aiger.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aig/bddify-correct.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aig/bddify.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aig/best-aig.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aig/count-branches-fast.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aig/eval-restrict.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aig/faig-base.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aig/faig-constructors.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aig/faig-equivs.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aig/g-aig-eval.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aig/induction.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aig/misc.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aig/portcullis.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aig/random-sim.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aignet/ root:root 0o755
/usr/share/acl2-7.1/books/centaur/aignet/aig-cnf.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aignet/aig-sim.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aignet/aiger.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aignet/aignet-absstobj.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aignet/aignet-exec-thms.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aignet/aignet-exec.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aignet/aignet-logic-interface.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aignet/aignet-logic.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aignet/arrays.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aignet/bit-lemmas.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aignet/cnf.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aignet/construction.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aignet/copying.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aignet/eval.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aignet/from-hons-aig-fast-raw.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aignet/from-hons-aig-fast.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aignet/from-hons-aig.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aignet/litp.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aignet/portcullis.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aignet/prune.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aignet/refcounts.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aignet/semantics.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aignet/snodes.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aignet/to-hons-aig.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aignet/types.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/aignet/vecsim.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bed/ root:root 0o755
/usr/share/acl2-7.1/books/centaur/bed/aig.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bed/eval.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bed/mk1.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bed/ops.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bed/portcullis.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bed/print.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bed/top.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bed/up.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bitops/ root:root 0o755
/usr/share/acl2-7.1/books/centaur/bitops/ash-bounds.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bitops/congruences.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bitops/contrib/ root:root 0o755
/usr/share/acl2-7.1/books/centaur/bitops/contrib/ash-of-a-constant.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bitops/defaults.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bitops/equal-by-logbitp.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bitops/extra-defs.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bitops/fast-logext.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bitops/fast-logrev.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bitops/fast-rotate.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bitops/ihs-extensions.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bitops/ihsext-basics.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bitops/install-bit.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bitops/integer-length.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bitops/logbitp-bounds.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bitops/logbitp-mismatch.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bitops/merge.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bitops/part-install.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bitops/part-select.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bitops/portcullis.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bitops/rotate.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bitops/saturate.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bitops/signed-byte-p.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bitops/top.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bridge/ root:root 0o755
/usr/share/acl2-7.1/books/centaur/bridge/portcullis.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bridge/to-json.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/bridge/top.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/clex/ root:root 0o755
/usr/share/acl2-7.1/books/centaur/clex/arithmetic.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/clex/charlist-fix.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/clex/example.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/clex/linecol.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/clex/matchers.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/clex/portcullis.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/clex/sin.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/clex/strin.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/clex/top.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/defrstobj/ root:root 0o755
/usr/share/acl2-7.1/books/centaur/defrstobj/basic-tests.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/defrstobj/def-typed-record.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/defrstobj/defrstobj.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/defrstobj/generic.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/defrstobj/portcullis.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/defrstobj/typed-record-tests.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/defrstobj/typed-records.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/depgraph/ root:root 0o755
/usr/share/acl2-7.1/books/centaur/depgraph/invert.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/depgraph/mergesort-alist-values.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/depgraph/portcullis.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/depgraph/top.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/depgraph/toposort.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/depgraph/transdeps.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/fty/ root:root 0o755
/usr/share/acl2-7.1/books/centaur/fty/basetypes.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/fty/deftypes-tests.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/fty/deftypes.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/fty/fixequiv-tests.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/fty/fixequiv.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/fty/fixtype.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/fty/portcullis.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/getopt/ root:root 0o755
/usr/share/acl2-7.1/books/centaur/getopt/demo.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/getopt/demo2.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/getopt/parsers.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/getopt/portcullis.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/getopt/top.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/ root:root 0o755
/usr/share/acl2-7.1/books/centaur/gl/always-equal-prep.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/arith-lemmas.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/auto-bindings.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/bfr-aig-bddify.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/bfr-param.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/bfr-sat.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/bfr.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/bvar-db.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/bvecs.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/constraint-db-deps.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/constraint-db.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/ctrex-utils.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/def-gl-clause-proc.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/def-gl-rewrite.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/def-gl-rule.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/defagg.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/defapply.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/doc.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/eval-f-i-cp.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/eval-g-base-help.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/eval-g-base.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/factor-fns.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/g-always-equal.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/g-ash.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/g-assert.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/g-binary-+.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/g-binary-mult.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/g-code-char.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/g-coerce.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/g-concretize.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/g-cons.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/g-equal.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/g-floor.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/g-hide.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/g-if.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/g-integer-length.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/g-intern.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/g-lessthan.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/g-logand.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/g-logapp.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/g-logbitp.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/g-logeqv.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/g-logior.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/g-lognot.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/g-make-fast-alist.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/g-mod.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/g-predicates.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/g-primitives-help.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/g-rem.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/g-truncate.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/g-unary--.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/g-unary-concrete.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/general-object-thms.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/general-objects.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/generic-geval.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/gify-thms.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/gify.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/gl-generic-clause-proc.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/gl-generic-interp-defs.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/gl-generic-interp.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/gl-mbe.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/gl-misc-defs.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/gl-util.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/gl.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/glcp-config.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/glcp-geval-thms.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/glcp-geval.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/glcp-templates.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/glcp-unify-defs.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/glcp-unify-thms.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/gobject-type-thms.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/gobject-types.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/gobjectp-thms.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/gobjectp.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/gtests.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/gtype-thms.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/gtypes.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/hyp-fix.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/ite-merge.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/param.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/portcullis.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/rewrites.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/run-gified-cp.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/rws.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/shape-spec-defs.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/shape-spec.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/split-args.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/symbolic-arithmetic.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/try-gl.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/tutorial.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/gl/var-bounds.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/memoize/ root:root 0o755
/usr/share/acl2-7.1/books/centaur/memoize/numargs.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/memoize/old/ root:root 0o755
/usr/share/acl2-7.1/books/centaur/memoize/old/case-raw.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/memoize/old/case.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/memoize/old/output-raw.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/memoize/old/profile-raw.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/memoize/old/profile.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/memoize/old/watch-raw.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/memoize/old/watch.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/memoize/pons.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/memoize/portcullis.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/memoize/tests.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/memoize/timer.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/memoize/top.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/ root:root 0o755
/usr/share/acl2-7.1/books/centaur/misc/1d-arr.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/2d-arr.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/absstobjs.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/alist-defs.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/alist-equiv.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/alist-witness.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/ap.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/arith-equiv-defs.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/arith-equivs.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/arrays.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/beta-reduce-full.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/bitarr.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/context-rw.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/count-up.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/dag-measure-thms.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/dag-measure.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/defapply.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/dfs-measure.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/equal-sets.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/evaluator-metatheorems.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/fal-graphs.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/fast-alist-pop-raw.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/fast-alist-pop.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/fast-alists.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/fast-cons-memo-raw.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/fast-cons-memo.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/filter-alist.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/hons-alphorder-merge.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/hons-extra.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/hons-remove-dups.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/hons-sets.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/intern-debugging.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/interp-function-lookup.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/introduce-var.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/iter.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/lists.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/load-stobj-tests.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/load-stobj.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/memory-mgmt-logic.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/memory-mgmt.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/nat-list-duplicates.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/natarr.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/nats-equiv.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/nth-equiv.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/numlist.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/osets-witnessing.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/outer-local-tests.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/outer-local.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/patterns.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/remove-assoc.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/rewrite-rule.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/seed-random-raw.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/seed-random.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/sharedlibs.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/smm-impl.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/smm.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/sneaky-load.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/sneaky-raw.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/spacewalk.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/sparsemap-impl.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/sparsemap.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/stobj-swap.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/suffixp.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/tailrec.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/top.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/tuplep.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/u32-listp.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/universal-equiv.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/vecs-ints.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/misc/witness-cp.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/nrev/ root:root 0o755
/usr/share/acl2-7.1/books/centaur/nrev/demo.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/nrev/fast-raw.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/nrev/fast.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/nrev/portcullis.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/nrev/pure.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/satlink/ root:root 0o755
/usr/share/acl2-7.1/books/centaur/satlink/cnf-basics.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/satlink/cnf.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/satlink/config.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/satlink/dimacs.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/satlink/litp.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/satlink/portcullis.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/satlink/varp.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/ubdds/ root:root 0o755
/usr/share/acl2-7.1/books/centaur/ubdds/core.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/ubdds/deps.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/ubdds/extra-operations.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/ubdds/lite.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/ubdds/param.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/ubdds/sanity-check-macros.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/ubdds/subset.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/ubdds/witness.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/vl/ root:root 0o755
/usr/share/acl2-7.1/books/centaur/vl/portcullis.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/vl/util/ root:root 0o755
/usr/share/acl2-7.1/books/centaur/vl/util/arithmetic.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/vl/util/cwtime.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/vl/util/default-hints.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/vl/util/defs.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/vl/util/namedb.o root:root 0o777
/usr/share/acl2-7.1/books/centaur/vl/util/subsetp-equal.o root:root 0o777

APT Browse - Built by Thomas Orozco.