This file is indexed.

/usr/lib/acl2-6.3/books/models/ is in acl2-books 6.3-5.

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

File Mime Type Owner Mode Size
..
/usr/lib/acl2-6.3/books/models/jvm/ root:root 0o755
/usr/lib/acl2-6.3/books/models/jvm/guard-verified-m1/ root:root 0o755
/usr/lib/acl2-6.3/books/models/jvm/guard-verified-m1/alternating-sum-variant.o application/x-object root:root 0o644 24.2 KB
/usr/lib/acl2-6.3/books/models/jvm/guard-verified-m1/alternating-sum.o application/x-object root:root 0o644 21.5 KB
/usr/lib/acl2-6.3/books/models/jvm/guard-verified-m1/bexpt.o application/x-object root:root 0o644 41.2 KB
/usr/lib/acl2-6.3/books/models/jvm/guard-verified-m1/defsys-utilities.o application/x-object root:root 0o644 24.6 KB
/usr/lib/acl2-6.3/books/models/jvm/guard-verified-m1/defsys.o application/x-object root:root 0o644 525.0 KB
/usr/lib/acl2-6.3/books/models/jvm/guard-verified-m1/div.o application/x-object root:root 0o644 31.0 KB
/usr/lib/acl2-6.3/books/models/jvm/guard-verified-m1/even-solution-1.o application/x-object root:root 0o644 20.0 KB
/usr/lib/acl2-6.3/books/models/jvm/guard-verified-m1/even-solution-2.o application/x-object root:root 0o644 27.8 KB
/usr/lib/acl2-6.3/books/models/jvm/guard-verified-m1/expt.o application/x-object root:root 0o644 20.7 KB
/usr/lib/acl2-6.3/books/models/jvm/guard-verified-m1/fact.o application/x-object root:root 0o644 23.6 KB
/usr/lib/acl2-6.3/books/models/jvm/guard-verified-m1/fib.o application/x-object root:root 0o644 26.0 KB
/usr/lib/acl2-6.3/books/models/jvm/guard-verified-m1/find-k!.o application/x-object root:root 0o644 545.0 KB
/usr/lib/acl2-6.3/books/models/jvm/guard-verified-m1/funny-fact.o application/x-object root:root 0o644 50.0 KB
/usr/lib/acl2-6.3/books/models/jvm/guard-verified-m1/good-statep.o application/x-object root:root 0o644 120.0 KB
/usr/lib/acl2-6.3/books/models/jvm/guard-verified-m1/implementation.o application/x-object root:root 0o644 964.3 KB
/usr/lib/acl2-6.3/books/models/jvm/guard-verified-m1/lessp.o application/x-object root:root 0o644 20.8 KB
/usr/lib/acl2-6.3/books/models/jvm/guard-verified-m1/low-seven.o application/x-object root:root 0o644 273.0 KB
/usr/lib/acl2-6.3/books/models/jvm/guard-verified-m1/m1.o application/x-object root:root 0o644 107.3 KB
/usr/lib/acl2-6.3/books/models/jvm/guard-verified-m1/magic.o application/x-object root:root 0o644 30.9 KB
/usr/lib/acl2-6.3/books/models/jvm/guard-verified-m1/power.o application/x-object root:root 0o644 19.8 KB
/usr/lib/acl2-6.3/books/models/jvm/guard-verified-m1/sign.o application/x-object root:root 0o644 22.8 KB
/usr/lib/acl2-6.3/books/models/jvm/guard-verified-m1/sum.o application/x-object root:root 0o644 21.3 KB
/usr/lib/acl2-6.3/books/models/jvm/guard-verified-m1/sumsq.o application/x-object root:root 0o644 23.3 KB
/usr/lib/acl2-6.3/books/models/jvm/guard-verified-m1/template.o application/x-object root:root 0o644 20.5 KB
/usr/lib/acl2-6.3/books/models/jvm/guard-verified-m1/theorems-a-and-b.o application/x-object root:root 0o644 314.6 KB
/usr/lib/acl2-6.3/books/models/jvm/guard-verified-m1/tmi-reductions.o application/x-object root:root 0o644 211.5 KB
/usr/lib/acl2-6.3/books/models/jvm/guard-verified-m1/use-when.o application/x-object root:root 0o644 41.0 KB
/usr/lib/acl2-6.3/books/models/jvm/guard-verified-m1/verify-guards.o application/x-object root:root 0o644 3.0 KB
/usr/lib/acl2-6.3/books/models/jvm/guard-verified-m1/wormhole-abstraction.o application/x-object root:root 0o644 42.4 KB
/usr/lib/acl2-6.3/books/models/jvm/m1/ root:root 0o755
/usr/lib/acl2-6.3/books/models/jvm/m1-original/ root:root 0o755
/usr/lib/acl2-6.3/books/models/jvm/m1-original/m1-story.o application/x-object root:root 0o644 159.3 KB
/usr/lib/acl2-6.3/books/models/jvm/m1-original/problem-set-1-answers.o application/x-object root:root 0o644 91.4 KB
/usr/lib/acl2-6.3/books/models/jvm/m1/alternating-sum-variant.o application/x-object root:root 0o644 24.2 KB
/usr/lib/acl2-6.3/books/models/jvm/m1/alternating-sum.o application/x-object root:root 0o644 21.5 KB
/usr/lib/acl2-6.3/books/models/jvm/m1/bexpt.o application/x-object root:root 0o644 41.2 KB
/usr/lib/acl2-6.3/books/models/jvm/m1/defsys-utilities.o application/x-object root:root 0o644 24.6 KB
/usr/lib/acl2-6.3/books/models/jvm/m1/defsys.o application/x-object root:root 0o644 527.2 KB
/usr/lib/acl2-6.3/books/models/jvm/m1/div.o application/x-object root:root 0o644 31.0 KB
/usr/lib/acl2-6.3/books/models/jvm/m1/even-solution-1.o application/x-object root:root 0o644 20.0 KB
/usr/lib/acl2-6.3/books/models/jvm/m1/even-solution-2.o application/x-object root:root 0o644 27.8 KB
/usr/lib/acl2-6.3/books/models/jvm/m1/expt.o application/x-object root:root 0o644 20.7 KB
/usr/lib/acl2-6.3/books/models/jvm/m1/fact.o application/x-object root:root 0o644 23.6 KB
/usr/lib/acl2-6.3/books/models/jvm/m1/fib.o application/x-object root:root 0o644 26.0 KB
/usr/lib/acl2-6.3/books/models/jvm/m1/find-k!.o application/x-object root:root 0o644 545.0 KB
/usr/lib/acl2-6.3/books/models/jvm/m1/funny-fact.o application/x-object root:root 0o644 50.0 KB
/usr/lib/acl2-6.3/books/models/jvm/m1/implementation.o application/x-object root:root 0o644 964.3 KB
/usr/lib/acl2-6.3/books/models/jvm/m1/lessp.o application/x-object root:root 0o644 20.8 KB
/usr/lib/acl2-6.3/books/models/jvm/m1/low-seven.o application/x-object root:root 0o644 273.0 KB
/usr/lib/acl2-6.3/books/models/jvm/m1/m1-half-via-inductive-assertions.o application/x-object root:root 0o644 50.7 KB
/usr/lib/acl2-6.3/books/models/jvm/m1/m1.o application/x-object root:root 0o644 88.4 KB
/usr/lib/acl2-6.3/books/models/jvm/m1/magic.o application/x-object root:root 0o644 30.9 KB
/usr/lib/acl2-6.3/books/models/jvm/m1/power.o application/x-object root:root 0o644 19.8 KB
/usr/lib/acl2-6.3/books/models/jvm/m1/sign.o application/x-object root:root 0o644 22.8 KB
/usr/lib/acl2-6.3/books/models/jvm/m1/sum.o application/x-object root:root 0o644 21.3 KB
/usr/lib/acl2-6.3/books/models/jvm/m1/sumsq.o application/x-object root:root 0o644 23.3 KB
/usr/lib/acl2-6.3/books/models/jvm/m1/template.o application/x-object root:root 0o644 20.5 KB
/usr/lib/acl2-6.3/books/models/jvm/m1/theorems-a-and-b.o application/x-object root:root 0o644 315.3 KB
/usr/lib/acl2-6.3/books/models/jvm/m1/tmi-reductions.o application/x-object root:root 0o644 212.1 KB
/usr/lib/acl2-6.3/books/models/jvm/m1/wormhole-abstraction.o application/x-object root:root 0o644 42.9 KB
/usr/lib/acl2-6.3/books/models/jvm/m5/ root:root 0o755
/usr/lib/acl2-6.3/books/models/jvm/m5/apprentice-state.o application/x-object root:root 0o644 20.9 KB
/usr/lib/acl2-6.3/books/models/jvm/m5/demo.o application/x-object root:root 0o644 70.6 KB
/usr/lib/acl2-6.3/books/models/jvm/m5/idemo.o application/x-object root:root 0o644 69.1 KB
/usr/lib/acl2-6.3/books/models/jvm/m5/infinite-fair-schedule.o application/x-object root:root 0o644 28.2 KB
/usr/lib/acl2-6.3/books/models/jvm/m5/isort.o application/x-object root:root 0o644 173.5 KB
/usr/lib/acl2-6.3/books/models/jvm/m5/jvm-fact-setup.o application/x-object root:root 0o644 67.8 KB
/usr/lib/acl2-6.3/books/models/jvm/m5/m5.o application/x-object root:root 0o644 1.6 MB
/usr/lib/acl2-6.3/books/models/jvm/m5/partial.o application/x-object root:root 0o644 101.9 KB
/usr/lib/acl2-6.3/books/models/jvm/m5/perm.o application/x-object root:root 0o644 13.6 KB
/usr/lib/acl2-6.3/books/models/jvm/m5/universal-never-returns.o application/x-object root:root 0o644 19.9 KB
/usr/lib/acl2-6.3/books/models/jvm/m5/universal.o application/x-object root:root 0o644 71.1 KB
/usr/lib/acl2-6.3/books/models/jvm/m5/utilities.o application/x-object root:root 0o644 21.0 KB