This file is indexed.

/usr/share/acl2-6.3/books/misc/ is in acl2-books 6.3-5.

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

File Mime Type Owner Mode Size
..
/usr/share/acl2-6.3/books/misc/assert.o root:root 0o777
/usr/share/acl2-6.3/books/misc/bash-bsd.o root:root 0o777
/usr/share/acl2-6.3/books/misc/bash.o root:root 0o777
/usr/share/acl2-6.3/books/misc/beta-reduce.o root:root 0o777
/usr/share/acl2-6.3/books/misc/book-checks.o root:root 0o777
/usr/share/acl2-6.3/books/misc/callers-and-ancestors.o root:root 0o777
/usr/share/acl2-6.3/books/misc/character-encoding-test.o root:root 0o777
/usr/share/acl2-6.3/books/misc/check-acl2-exports.o root:root 0o777
/usr/share/acl2-6.3/books/misc/computed-hint-rewrite.o root:root 0o777
/usr/share/acl2-6.3/books/misc/computed-hint.o root:root 0o777
/usr/share/acl2-6.3/books/misc/congruent-stobjs-test.o root:root 0o777
/usr/share/acl2-6.3/books/misc/csort.o root:root 0o777
/usr/share/acl2-6.3/books/misc/dead-events.o root:root 0o777
/usr/share/acl2-6.3/books/misc/defabsstobj-example-1.o root:root 0o777
/usr/share/acl2-6.3/books/misc/defabsstobj-example-2.o root:root 0o777
/usr/share/acl2-6.3/books/misc/defabsstobj-example-3.o root:root 0o777
/usr/share/acl2-6.3/books/misc/defabsstobj-example-4.o root:root 0o777
/usr/share/acl2-6.3/books/misc/defattach-bang.o root:root 0o777
/usr/share/acl2-6.3/books/misc/defattach-example.o root:root 0o777
/usr/share/acl2-6.3/books/misc/definline.o root:root 0o777
/usr/share/acl2-6.3/books/misc/defmac.o root:root 0o777
/usr/share/acl2-6.3/books/misc/defopener.o root:root 0o777
/usr/share/acl2-6.3/books/misc/defp.o root:root 0o777
/usr/share/acl2-6.3/books/misc/defproxy-test.o root:root 0o777
/usr/share/acl2-6.3/books/misc/defpun.o root:root 0o777
/usr/share/acl2-6.3/books/misc/defun-plus.o root:root 0o777
/usr/share/acl2-6.3/books/misc/dft-ex.o root:root 0o777
/usr/share/acl2-6.3/books/misc/dft.o root:root 0o777
/usr/share/acl2-6.3/books/misc/dijkstra-shortest-path.o root:root 0o777
/usr/share/acl2-6.3/books/misc/disassemble.o root:root 0o777
/usr/share/acl2-6.3/books/misc/dump-events.o root:root 0o777
/usr/share/acl2-6.3/books/misc/equal-by-g-help.o root:root 0o777
/usr/share/acl2-6.3/books/misc/equal-by-g.o root:root 0o777
/usr/share/acl2-6.3/books/misc/eval.o root:root 0o777
/usr/share/acl2-6.3/books/misc/evalable-printing.o root:root 0o777
/usr/share/acl2-6.3/books/misc/expander.o root:root 0o777
/usr/share/acl2-6.3/books/misc/fast-coerce.o root:root 0o777
/usr/share/acl2-6.3/books/misc/fibonacci.o root:root 0o777
/usr/share/acl2-6.3/books/misc/file-io.o root:root 0o777
/usr/share/acl2-6.3/books/misc/find-lemmas.o root:root 0o777
/usr/share/acl2-6.3/books/misc/gentle.o root:root 0o777
/usr/share/acl2-6.3/books/misc/getprop.o root:root 0o777
/usr/share/acl2-6.3/books/misc/goodstein.o root:root 0o777
/usr/share/acl2-6.3/books/misc/grcd.o root:root 0o777
/usr/share/acl2-6.3/books/misc/hanoi.o root:root 0o777
/usr/share/acl2-6.3/books/misc/hons-help.o root:root 0o777
/usr/share/acl2-6.3/books/misc/hons-help2.o root:root 0o777
/usr/share/acl2-6.3/books/misc/hons-tests.o root:root 0o777
/usr/share/acl2-6.3/books/misc/how-to-prove-thms.o root:root 0o777
/usr/share/acl2-6.3/books/misc/int-division.o root:root 0o777
/usr/share/acl2-6.3/books/misc/integer-type-set-test.o root:root 0o777
/usr/share/acl2-6.3/books/misc/invariants.o root:root 0o777
/usr/share/acl2-6.3/books/misc/meta-lemmas.o root:root 0o777
/usr/share/acl2-6.3/books/misc/misc2/ root:root 0o755
/usr/share/acl2-6.3/books/misc/misc2/defpun-exec-domain-example.o root:root 0o777
/usr/share/acl2-6.3/books/misc/misc2/misc.o root:root 0o777
/usr/share/acl2-6.3/books/misc/misc2/reverse-by-separation.o root:root 0o777
/usr/share/acl2-6.3/books/misc/misc2/ruler-extenders-tests.o root:root 0o777
/usr/share/acl2-6.3/books/misc/misc2/step-limits.o root:root 0o777
/usr/share/acl2-6.3/books/misc/mult.o root:root 0o777
/usr/share/acl2-6.3/books/misc/nested-stobj-tests.o root:root 0o777
/usr/share/acl2-6.3/books/misc/oprof.o root:root 0o777
/usr/share/acl2-6.3/books/misc/priorities.o root:root 0o777
/usr/share/acl2-6.3/books/misc/problem13.o root:root 0o777
/usr/share/acl2-6.3/books/misc/process-book-readme.o root:root 0o777
/usr/share/acl2-6.3/books/misc/profiling.o root:root 0o777
/usr/share/acl2-6.3/books/misc/qi-correct.o root:root 0o777
/usr/share/acl2-6.3/books/misc/qi.o root:root 0o777
/usr/share/acl2-6.3/books/misc/radix.o root:root 0o777
/usr/share/acl2-6.3/books/misc/random.o root:root 0o777
/usr/share/acl2-6.3/books/misc/records-bsd.o root:root 0o777
/usr/share/acl2-6.3/books/misc/records.o root:root 0o777
/usr/share/acl2-6.3/books/misc/records0.o root:root 0o777
/usr/share/acl2-6.3/books/misc/redef-pkg.o root:root 0o777
/usr/share/acl2-6.3/books/misc/rtl-untranslate.o root:root 0o777
/usr/share/acl2-6.3/books/misc/save-time.o root:root 0o777
/usr/share/acl2-6.3/books/misc/seq.o root:root 0o777
/usr/share/acl2-6.3/books/misc/seqw.o root:root 0o777
/usr/share/acl2-6.3/books/misc/simplify-defuns.o root:root 0o777
/usr/share/acl2-6.3/books/misc/simplify-thm.o root:root 0o777
/usr/share/acl2-6.3/books/misc/sin-cos.o root:root 0o777
/usr/share/acl2-6.3/books/misc/sort-symbols.o root:root 0o777
/usr/share/acl2-6.3/books/misc/sticky-disable.o root:root 0o777
/usr/share/acl2-6.3/books/misc/symbol-btree.o root:root 0o777
/usr/share/acl2-6.3/books/misc/total-order-bsd.o root:root 0o777
/usr/share/acl2-6.3/books/misc/total-order.o root:root 0o777
/usr/share/acl2-6.3/books/misc/trace-star.o root:root 0o777
/usr/share/acl2-6.3/books/misc/transfinite.o root:root 0o777
/usr/share/acl2-6.3/books/misc/untranslate-patterns.o root:root 0o777
/usr/share/acl2-6.3/books/misc/wet.o root:root 0o777