/usr/share/acl2-7.1/books/centaur/ is in acl2-books-certs 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.cert
|
application/octet-stream | root:root | 0o644 | 34.9 KB |
/usr/share/acl2-7.1/books/centaur/aig/aig-base.cert
|
application/octet-stream | root:root | 0o644 | 129.5 KB |
/usr/share/acl2-7.1/books/centaur/aig/aig-equivs.cert
|
application/octet-stream | root:root | 0o644 | 32.7 KB |
/usr/share/acl2-7.1/books/centaur/aig/aig-print.cert
|
application/octet-stream | root:root | 0o644 | 26.8 KB |
/usr/share/acl2-7.1/books/centaur/aig/aig-vars-ext.cert
|
application/octet-stream | root:root | 0o644 | 35.3 KB |
/usr/share/acl2-7.1/books/centaur/aig/aig-vars-fast.cert
|
application/octet-stream | root:root | 0o644 | 30.1 KB |
/usr/share/acl2-7.1/books/centaur/aig/aig-vars.cert
|
application/octet-stream | root:root | 0o644 | 24.0 KB |
/usr/share/acl2-7.1/books/centaur/aig/aig2c.cert
|
application/octet-stream | root:root | 0o644 | 101.0 KB |
/usr/share/acl2-7.1/books/centaur/aig/aiger-help.cert
|
application/octet-stream | root:root | 0o644 | 19.4 KB |
/usr/share/acl2-7.1/books/centaur/aig/aiger.cert
|
application/octet-stream | root:root | 0o644 | 42.3 KB |
/usr/share/acl2-7.1/books/centaur/aig/bddify-correct.cert
|
application/octet-stream | root:root | 0o644 | 32.3 KB |
/usr/share/acl2-7.1/books/centaur/aig/bddify.cert
|
application/octet-stream | root:root | 0o644 | 26.3 KB |
/usr/share/acl2-7.1/books/centaur/aig/best-aig.cert
|
application/octet-stream | root:root | 0o644 | 49.8 KB |
/usr/share/acl2-7.1/books/centaur/aig/eval-restrict.cert
|
application/octet-stream | root:root | 0o644 | 77.7 KB |
/usr/share/acl2-7.1/books/centaur/aig/faig-base.cert
|
application/octet-stream | root:root | 0o644 | 66.9 KB |
/usr/share/acl2-7.1/books/centaur/aig/faig-constructors.cert
|
application/octet-stream | root:root | 0o644 | 78.2 KB |
/usr/share/acl2-7.1/books/centaur/aig/faig-equivs.cert
|
application/octet-stream | root:root | 0o644 | 30.0 KB |
/usr/share/acl2-7.1/books/centaur/aig/g-aig-eval.cert
|
application/octet-stream | root:root | 0o644 | 333.1 KB |
/usr/share/acl2-7.1/books/centaur/aig/induction.cert
|
application/octet-stream | root:root | 0o644 | 23.3 KB |
/usr/share/acl2-7.1/books/centaur/aig/misc.cert
|
application/octet-stream | root:root | 0o644 | 19.9 KB |
/usr/share/acl2-7.1/books/centaur/aig/portcullis.cert
|
application/octet-stream | root:root | 0o644 | 3.8 KB |
/usr/share/acl2-7.1/books/centaur/aig/random-sim.cert
|
application/octet-stream | root:root | 0o644 | 190.6 KB |
/usr/share/acl2-7.1/books/centaur/aignet/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/centaur/aignet/aig-cnf.cert
|
application/octet-stream | root:root | 0o644 | 50.2 KB |
/usr/share/acl2-7.1/books/centaur/aignet/aig-sim.cert
|
application/octet-stream | root:root | 0o644 | 64.2 KB |
/usr/share/acl2-7.1/books/centaur/aignet/aiger.cert
|
application/octet-stream | root:root | 0o644 | 84.5 KB |
/usr/share/acl2-7.1/books/centaur/aignet/aignet-absstobj.cert
|
application/octet-stream | root:root | 0o644 | 54.6 KB |
/usr/share/acl2-7.1/books/centaur/aignet/aignet-exec-thms.cert
|
application/octet-stream | root:root | 0o644 | 46.3 KB |
/usr/share/acl2-7.1/books/centaur/aignet/aignet-exec.cert
|
application/octet-stream | root:root | 0o644 | 25.8 KB |
/usr/share/acl2-7.1/books/centaur/aignet/aignet-logic-interface.cert
|
application/octet-stream | root:root | 0o644 | 72.1 KB |
/usr/share/acl2-7.1/books/centaur/aignet/aignet-logic.cert
|
application/octet-stream | root:root | 0o644 | 135.1 KB |
/usr/share/acl2-7.1/books/centaur/aignet/arrays.cert
|
application/octet-stream | root:root | 0o644 | 29.2 KB |
/usr/share/acl2-7.1/books/centaur/aignet/bit-lemmas.cert
|
application/octet-stream | root:root | 0o644 | 9.1 KB |
/usr/share/acl2-7.1/books/centaur/aignet/cnf.cert
|
application/octet-stream | root:root | 0o644 | 85.6 KB |
/usr/share/acl2-7.1/books/centaur/aignet/construction.cert
|
application/octet-stream | root:root | 0o644 | 113.7 KB |
/usr/share/acl2-7.1/books/centaur/aignet/copying.cert
|
application/octet-stream | root:root | 0o644 | 107.0 KB |
/usr/share/acl2-7.1/books/centaur/aignet/eval.cert
|
application/octet-stream | root:root | 0o644 | 44.1 KB |
/usr/share/acl2-7.1/books/centaur/aignet/from-hons-aig-fast.cert
|
application/octet-stream | root:root | 0o644 | 45.8 KB |
/usr/share/acl2-7.1/books/centaur/aignet/from-hons-aig.cert
|
application/octet-stream | root:root | 0o644 | 84.0 KB |
/usr/share/acl2-7.1/books/centaur/aignet/litp.cert
|
application/octet-stream | root:root | 0o644 | 48.5 KB |
/usr/share/acl2-7.1/books/centaur/aignet/portcullis.cert
|
application/octet-stream | root:root | 0o644 | 3.8 KB |
/usr/share/acl2-7.1/books/centaur/aignet/prune.cert
|
application/octet-stream | root:root | 0o644 | 98.8 KB |
/usr/share/acl2-7.1/books/centaur/aignet/refcounts.cert
|
application/octet-stream | root:root | 0o644 | 21.8 KB |
/usr/share/acl2-7.1/books/centaur/aignet/semantics.cert
|
application/octet-stream | root:root | 0o644 | 96.5 KB |
/usr/share/acl2-7.1/books/centaur/aignet/snodes.cert
|
application/octet-stream | root:root | 0o644 | 12.1 KB |
/usr/share/acl2-7.1/books/centaur/aignet/to-hons-aig.cert
|
application/octet-stream | root:root | 0o644 | 51.1 KB |
/usr/share/acl2-7.1/books/centaur/aignet/types.cert
|
application/octet-stream | root:root | 0o644 | 57.5 KB |
/usr/share/acl2-7.1/books/centaur/aignet/vecsim.cert
|
application/octet-stream | root:root | 0o644 | 39.2 KB |
/usr/share/acl2-7.1/books/centaur/bed/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/centaur/bed/aig.cert
|
application/octet-stream | root:root | 0o644 | 92.1 KB |
/usr/share/acl2-7.1/books/centaur/bed/eval.cert
|
application/octet-stream | root:root | 0o644 | 16.0 KB |
/usr/share/acl2-7.1/books/centaur/bed/mk1.cert
|
application/octet-stream | root:root | 0o644 | 65.7 KB |
/usr/share/acl2-7.1/books/centaur/bed/ops.cert
|
application/octet-stream | root:root | 0o644 | 65.3 KB |
/usr/share/acl2-7.1/books/centaur/bed/portcullis.cert
|
application/octet-stream | root:root | 0o644 | 1.3 KB |
/usr/share/acl2-7.1/books/centaur/bed/print.cert
|
application/octet-stream | root:root | 0o644 | 13.6 KB |
/usr/share/acl2-7.1/books/centaur/bed/top.cert
|
application/octet-stream | root:root | 0o644 | 26.1 KB |
/usr/share/acl2-7.1/books/centaur/bed/up.cert
|
application/octet-stream | root:root | 0o644 | 31.5 KB |
/usr/share/acl2-7.1/books/centaur/bitops/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/centaur/bitops/ash-bounds.cert
|
application/octet-stream | root:root | 0o644 | 17.7 KB |
/usr/share/acl2-7.1/books/centaur/bitops/congruences.cert
|
application/octet-stream | root:root | 0o644 | 34.6 KB |
/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.cert
|
application/octet-stream | root:root | 0o644 | 7.6 KB |
/usr/share/acl2-7.1/books/centaur/bitops/defaults.cert
|
application/octet-stream | root:root | 0o644 | 16.7 KB |
/usr/share/acl2-7.1/books/centaur/bitops/equal-by-logbitp.cert
|
application/octet-stream | root:root | 0o644 | 106.5 KB |
/usr/share/acl2-7.1/books/centaur/bitops/extra-defs.cert
|
application/octet-stream | root:root | 0o644 | 71.1 KB |
/usr/share/acl2-7.1/books/centaur/bitops/fast-logext.cert
|
application/octet-stream | root:root | 0o644 | 37.9 KB |
/usr/share/acl2-7.1/books/centaur/bitops/fast-logrev.cert
|
application/octet-stream | root:root | 0o644 | 65.3 KB |
/usr/share/acl2-7.1/books/centaur/bitops/fast-rotate.cert
|
application/octet-stream | root:root | 0o644 | 95.7 KB |
/usr/share/acl2-7.1/books/centaur/bitops/ihs-extensions.cert
|
application/octet-stream | root:root | 0o644 | 19.1 KB |
/usr/share/acl2-7.1/books/centaur/bitops/ihsext-basics.cert
|
application/octet-stream | root:root | 0o644 | 92.5 KB |
/usr/share/acl2-7.1/books/centaur/bitops/install-bit.cert
|
application/octet-stream | root:root | 0o644 | 47.8 KB |
/usr/share/acl2-7.1/books/centaur/bitops/integer-length.cert
|
application/octet-stream | root:root | 0o644 | 14.0 KB |
/usr/share/acl2-7.1/books/centaur/bitops/logbitp-bounds.cert
|
application/octet-stream | root:root | 0o644 | 8.8 KB |
/usr/share/acl2-7.1/books/centaur/bitops/logbitp-mismatch.cert
|
application/octet-stream | root:root | 0o644 | 11.8 KB |
/usr/share/acl2-7.1/books/centaur/bitops/merge.cert
|
application/octet-stream | root:root | 0o644 | 117.4 KB |
/usr/share/acl2-7.1/books/centaur/bitops/part-install.cert
|
application/octet-stream | root:root | 0o644 | 33.4 KB |
/usr/share/acl2-7.1/books/centaur/bitops/part-select.cert
|
application/octet-stream | root:root | 0o644 | 12.8 KB |
/usr/share/acl2-7.1/books/centaur/bitops/portcullis.cert
|
application/octet-stream | root:root | 0o644 | 4.5 KB |
/usr/share/acl2-7.1/books/centaur/bitops/rotate.cert
|
application/octet-stream | root:root | 0o644 | 46.3 KB |
/usr/share/acl2-7.1/books/centaur/bitops/saturate.cert
|
application/octet-stream | root:root | 0o644 | 49.7 KB |
/usr/share/acl2-7.1/books/centaur/bitops/signed-byte-p.cert
|
application/octet-stream | root:root | 0o644 | 9.8 KB |
/usr/share/acl2-7.1/books/centaur/bitops/top.cert
|
application/octet-stream | root:root | 0o644 | 95.7 KB |
/usr/share/acl2-7.1/books/centaur/bridge/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/centaur/bridge/portcullis.cert
|
application/octet-stream | root:root | 0o644 | 1.2 KB |
/usr/share/acl2-7.1/books/centaur/bridge/to-json.cert
|
application/octet-stream | root:root | 0o644 | 66.5 KB |
/usr/share/acl2-7.1/books/centaur/bridge/top.cert
|
application/octet-stream | root:root | 0o644 | 42.6 KB |
/usr/share/acl2-7.1/books/centaur/clex/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/centaur/clex/arithmetic.cert
|
application/octet-stream | root:root | 0o644 | 11.5 KB |
/usr/share/acl2-7.1/books/centaur/clex/charlist-fix.cert
|
application/octet-stream | root:root | 0o644 | 19.7 KB |
/usr/share/acl2-7.1/books/centaur/clex/example.cert
|
application/octet-stream | root:root | 0o644 | 166.3 KB |
/usr/share/acl2-7.1/books/centaur/clex/linecol.cert
|
application/octet-stream | root:root | 0o644 | 36.8 KB |
/usr/share/acl2-7.1/books/centaur/clex/matchers.cert
|
application/octet-stream | root:root | 0o644 | 66.0 KB |
/usr/share/acl2-7.1/books/centaur/clex/portcullis.cert
|
application/octet-stream | root:root | 0o644 | 1.7 KB |
/usr/share/acl2-7.1/books/centaur/clex/sin.cert
|
application/octet-stream | root:root | 0o644 | 82.0 KB |
/usr/share/acl2-7.1/books/centaur/clex/strin.cert
|
application/octet-stream | root:root | 0o644 | 73.2 KB |
/usr/share/acl2-7.1/books/centaur/clex/top.cert
|
application/octet-stream | root:root | 0o644 | 29.5 KB |
/usr/share/acl2-7.1/books/centaur/defrstobj/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/centaur/defrstobj/basic-tests.cert
|
application/octet-stream | root:root | 0o644 | 195.6 KB |
/usr/share/acl2-7.1/books/centaur/defrstobj/def-typed-record.cert
|
application/octet-stream | root:root | 0o644 | 50.8 KB |
/usr/share/acl2-7.1/books/centaur/defrstobj/defrstobj.cert
|
application/octet-stream | root:root | 0o644 | 52.2 KB |
/usr/share/acl2-7.1/books/centaur/defrstobj/generic.cert
|
application/octet-stream | root:root | 0o644 | 31.8 KB |
/usr/share/acl2-7.1/books/centaur/defrstobj/portcullis.cert
|
application/octet-stream | root:root | 0o644 | 1.6 KB |
/usr/share/acl2-7.1/books/centaur/defrstobj/typed-record-tests.cert
|
application/octet-stream | root:root | 0o644 | 51.3 KB |
/usr/share/acl2-7.1/books/centaur/defrstobj/typed-records.cert
|
application/octet-stream | root:root | 0o644 | 41.8 KB |
/usr/share/acl2-7.1/books/centaur/depgraph/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/centaur/depgraph/invert.cert
|
application/octet-stream | root:root | 0o644 | 23.4 KB |
/usr/share/acl2-7.1/books/centaur/depgraph/mergesort-alist-values.cert
|
application/octet-stream | root:root | 0o644 | 16.1 KB |
/usr/share/acl2-7.1/books/centaur/depgraph/portcullis.cert
|
application/octet-stream | root:root | 0o644 | 1022 bytes |
/usr/share/acl2-7.1/books/centaur/depgraph/top.cert
|
application/octet-stream | root:root | 0o644 | 24.3 KB |
/usr/share/acl2-7.1/books/centaur/depgraph/toposort.cert
|
application/octet-stream | root:root | 0o644 | 65.1 KB |
/usr/share/acl2-7.1/books/centaur/depgraph/transdeps.cert
|
application/octet-stream | root:root | 0o644 | 40.6 KB |
/usr/share/acl2-7.1/books/centaur/fty/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/centaur/fty/basetypes.cert
|
application/octet-stream | root:root | 0o644 | 16.5 KB |
/usr/share/acl2-7.1/books/centaur/fty/deftypes-tests.cert
|
application/octet-stream | root:root | 0o644 | 3.8 MB |
/usr/share/acl2-7.1/books/centaur/fty/deftypes.cert
|
application/octet-stream | root:root | 0o644 | 124.9 KB |
/usr/share/acl2-7.1/books/centaur/fty/fixequiv-tests.cert
|
application/octet-stream | root:root | 0o644 | 48.9 KB |
/usr/share/acl2-7.1/books/centaur/fty/fixequiv.cert
|
application/octet-stream | root:root | 0o644 | 9.8 KB |
/usr/share/acl2-7.1/books/centaur/fty/fixtype.cert
|
application/octet-stream | root:root | 0o644 | 21.9 KB |
/usr/share/acl2-7.1/books/centaur/fty/portcullis.cert
|
application/octet-stream | root:root | 0o644 | 6.5 KB |
/usr/share/acl2-7.1/books/centaur/getopt/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/centaur/getopt/demo.cert
|
application/octet-stream | root:root | 0o644 | 89.8 KB |
/usr/share/acl2-7.1/books/centaur/getopt/demo2.cert
|
application/octet-stream | root:root | 0o644 | 71.0 KB |
/usr/share/acl2-7.1/books/centaur/getopt/parsers.cert
|
application/octet-stream | root:root | 0o644 | 49.7 KB |
/usr/share/acl2-7.1/books/centaur/getopt/portcullis.cert
|
application/octet-stream | root:root | 0o644 | 1.9 KB |
/usr/share/acl2-7.1/books/centaur/getopt/top.cert
|
application/octet-stream | root:root | 0o644 | 132.5 KB |
/usr/share/acl2-7.1/books/centaur/gl/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/centaur/gl/always-equal-prep.cert
|
application/octet-stream | root:root | 0o644 | 40.2 KB |
/usr/share/acl2-7.1/books/centaur/gl/arith-lemmas.cert
|
application/octet-stream | root:root | 0o644 | 20.2 KB |
/usr/share/acl2-7.1/books/centaur/gl/auto-bindings.cert
|
application/octet-stream | root:root | 0o644 | 12.2 KB |
/usr/share/acl2-7.1/books/centaur/gl/bfr-aig-bddify.cert
|
application/octet-stream | root:root | 0o644 | 29.4 KB |
/usr/share/acl2-7.1/books/centaur/gl/bfr-param.cert
|
application/octet-stream | root:root | 0o644 | 27.8 KB |
/usr/share/acl2-7.1/books/centaur/gl/bfr-sat.cert
|
application/octet-stream | root:root | 0o644 | 26.0 KB |
/usr/share/acl2-7.1/books/centaur/gl/bfr.cert
|
application/octet-stream | root:root | 0o644 | 34.5 KB |
/usr/share/acl2-7.1/books/centaur/gl/bvar-db.cert
|
application/octet-stream | root:root | 0o644 | 12.6 KB |
/usr/share/acl2-7.1/books/centaur/gl/bvecs.cert
|
application/octet-stream | root:root | 0o644 | 26.5 KB |
/usr/share/acl2-7.1/books/centaur/gl/constraint-db-deps.cert
|
application/octet-stream | root:root | 0o644 | 45.3 KB |
/usr/share/acl2-7.1/books/centaur/gl/constraint-db.cert
|
application/octet-stream | root:root | 0o644 | 62.5 KB |
/usr/share/acl2-7.1/books/centaur/gl/ctrex-utils.cert
|
application/octet-stream | root:root | 0o644 | 80.5 KB |
/usr/share/acl2-7.1/books/centaur/gl/def-gl-clause-proc.cert
|
application/octet-stream | root:root | 0o644 | 70.3 KB |
/usr/share/acl2-7.1/books/centaur/gl/def-gl-rewrite.cert
|
application/octet-stream | root:root | 0o644 | 16.1 KB |
/usr/share/acl2-7.1/books/centaur/gl/def-gl-rule.cert
|
application/octet-stream | root:root | 0o644 | 9.1 KB |
/usr/share/acl2-7.1/books/centaur/gl/defagg.cert
|
application/octet-stream | root:root | 0o644 | 5.1 KB |
/usr/share/acl2-7.1/books/centaur/gl/defapply.cert
|
application/octet-stream | root:root | 0o644 | 15.3 KB |
/usr/share/acl2-7.1/books/centaur/gl/doc.cert
|
application/octet-stream | root:root | 0o644 | 71.1 KB |
/usr/share/acl2-7.1/books/centaur/gl/eval-f-i-cp.cert
|
application/octet-stream | root:root | 0o644 | 21.7 KB |
/usr/share/acl2-7.1/books/centaur/gl/eval-g-base-help.cert
|
application/octet-stream | root:root | 0o644 | 42.3 KB |
/usr/share/acl2-7.1/books/centaur/gl/eval-g-base.cert
|
application/octet-stream | root:root | 0o644 | 256.9 KB |
/usr/share/acl2-7.1/books/centaur/gl/factor-fns.cert
|
application/octet-stream | root:root | 0o644 | 18.8 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-always-equal.cert
|
application/octet-stream | root:root | 0o644 | 39.0 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-ash.cert
|
application/octet-stream | root:root | 0o644 | 40.8 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-assert.cert
|
application/octet-stream | root:root | 0o644 | 43.7 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-binary-+.cert
|
application/octet-stream | root:root | 0o644 | 45.6 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-binary-mult.cert
|
application/octet-stream | root:root | 0o644 | 40.6 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-code-char.cert
|
application/octet-stream | root:root | 0o644 | 46.1 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-coerce.cert
|
application/octet-stream | root:root | 0o644 | 46.9 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-concretize.cert
|
application/octet-stream | root:root | 0o644 | 42.6 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-cons.cert
|
application/octet-stream | root:root | 0o644 | 46.7 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-equal.cert
|
application/octet-stream | root:root | 0o644 | 55.7 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-floor.cert
|
application/octet-stream | root:root | 0o644 | 40.8 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-hide.cert
|
application/octet-stream | root:root | 0o644 | 36.5 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-if.cert
|
application/octet-stream | root:root | 0o644 | 39.9 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-integer-length.cert
|
application/octet-stream | root:root | 0o644 | 42.2 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-intern.cert
|
application/octet-stream | root:root | 0o644 | 41.5 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-lessthan.cert
|
application/octet-stream | root:root | 0o644 | 39.7 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-logand.cert
|
application/octet-stream | root:root | 0o644 | 40.2 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-logapp.cert
|
application/octet-stream | root:root | 0o644 | 68.1 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-logbitp.cert
|
application/octet-stream | root:root | 0o644 | 40.5 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-logeqv.cert
|
application/octet-stream | root:root | 0o644 | 39.8 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-logior.cert
|
application/octet-stream | root:root | 0o644 | 39.8 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-lognot.cert
|
application/octet-stream | root:root | 0o644 | 42.0 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-make-fast-alist.cert
|
application/octet-stream | root:root | 0o644 | 39.6 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-mod.cert
|
application/octet-stream | root:root | 0o644 | 40.5 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-predicates.cert
|
application/octet-stream | root:root | 0o644 | 85.7 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-primitives-help.cert
|
application/octet-stream | root:root | 0o644 | 29.5 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-rem.cert
|
application/octet-stream | root:root | 0o644 | 40.5 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-truncate.cert
|
application/octet-stream | root:root | 0o644 | 40.6 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-unary--.cert
|
application/octet-stream | root:root | 0o644 | 40.8 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-unary-concrete.cert
|
application/octet-stream | root:root | 0o644 | 65.2 KB |
/usr/share/acl2-7.1/books/centaur/gl/general-object-thms.cert
|
application/octet-stream | root:root | 0o644 | 29.4 KB |
/usr/share/acl2-7.1/books/centaur/gl/general-objects.cert
|
application/octet-stream | root:root | 0o644 | 28.7 KB |
/usr/share/acl2-7.1/books/centaur/gl/generic-geval.cert
|
application/octet-stream | root:root | 0o644 | 272.9 KB |
/usr/share/acl2-7.1/books/centaur/gl/gify-thms.cert
|
application/octet-stream | root:root | 0o644 | 32.6 KB |
/usr/share/acl2-7.1/books/centaur/gl/gify.cert
|
application/octet-stream | root:root | 0o644 | 30.4 KB |
/usr/share/acl2-7.1/books/centaur/gl/gl-generic-clause-proc.cert
|
application/octet-stream | root:root | 0o644 | 120.1 KB |
/usr/share/acl2-7.1/books/centaur/gl/gl-generic-interp-defs.cert
|
application/octet-stream | root:root | 0o644 | 97.6 KB |
/usr/share/acl2-7.1/books/centaur/gl/gl-generic-interp.cert
|
application/octet-stream | root:root | 0o644 | 213.8 KB |
/usr/share/acl2-7.1/books/centaur/gl/gl-mbe.cert
|
application/octet-stream | root:root | 0o644 | 13.6 KB |
/usr/share/acl2-7.1/books/centaur/gl/gl-misc-defs.cert
|
application/octet-stream | root:root | 0o644 | 14.6 KB |
/usr/share/acl2-7.1/books/centaur/gl/gl-util.cert
|
application/octet-stream | root:root | 0o644 | 6.1 KB |
/usr/share/acl2-7.1/books/centaur/gl/gl.cert
|
application/octet-stream | root:root | 0o644 | 249.2 KB |
/usr/share/acl2-7.1/books/centaur/gl/glcp-config.cert
|
application/octet-stream | root:root | 0o644 | 63.9 KB |
/usr/share/acl2-7.1/books/centaur/gl/glcp-geval-thms.cert
|
application/octet-stream | root:root | 0o644 | 40.4 KB |
/usr/share/acl2-7.1/books/centaur/gl/glcp-geval.cert
|
application/octet-stream | root:root | 0o644 | 279.1 KB |
/usr/share/acl2-7.1/books/centaur/gl/glcp-templates.cert
|
application/octet-stream | root:root | 0o644 | 4.0 KB |
/usr/share/acl2-7.1/books/centaur/gl/glcp-unify-defs.cert
|
application/octet-stream | root:root | 0o644 | 29.1 KB |
/usr/share/acl2-7.1/books/centaur/gl/glcp-unify-thms.cert
|
application/octet-stream | root:root | 0o644 | 47.3 KB |
/usr/share/acl2-7.1/books/centaur/gl/gobject-type-thms.cert
|
application/octet-stream | root:root | 0o644 | 9.1 KB |
/usr/share/acl2-7.1/books/centaur/gl/gobject-types.cert
|
application/octet-stream | root:root | 0o644 | 9.0 KB |
/usr/share/acl2-7.1/books/centaur/gl/gobjectp-thms.cert
|
application/octet-stream | root:root | 0o644 | 27.1 KB |
/usr/share/acl2-7.1/books/centaur/gl/gobjectp.cert
|
application/octet-stream | root:root | 0o644 | 27.0 KB |
/usr/share/acl2-7.1/books/centaur/gl/gtests.cert
|
application/octet-stream | root:root | 0o644 | 38.3 KB |
/usr/share/acl2-7.1/books/centaur/gl/gtype-thms.cert
|
application/octet-stream | root:root | 0o644 | 28.7 KB |
/usr/share/acl2-7.1/books/centaur/gl/gtypes.cert
|
application/octet-stream | root:root | 0o644 | 29.6 KB |
/usr/share/acl2-7.1/books/centaur/gl/hyp-fix.cert
|
application/octet-stream | root:root | 0o644 | 113.0 KB |
/usr/share/acl2-7.1/books/centaur/gl/ite-merge.cert
|
application/octet-stream | root:root | 0o644 | 37.0 KB |
/usr/share/acl2-7.1/books/centaur/gl/param.cert
|
application/octet-stream | root:root | 0o644 | 31.8 KB |
/usr/share/acl2-7.1/books/centaur/gl/portcullis.cert
|
application/octet-stream | root:root | 0o644 | 8.1 KB |
/usr/share/acl2-7.1/books/centaur/gl/rewrites.cert
|
application/octet-stream | root:root | 0o644 | 42.0 KB |
/usr/share/acl2-7.1/books/centaur/gl/run-gified-cp.cert
|
application/octet-stream | root:root | 0o644 | 35.2 KB |
/usr/share/acl2-7.1/books/centaur/gl/rws.cert
|
application/octet-stream | root:root | 0o644 | 40.1 KB |
/usr/share/acl2-7.1/books/centaur/gl/shape-spec-defs.cert
|
application/octet-stream | root:root | 0o644 | 30.4 KB |
/usr/share/acl2-7.1/books/centaur/gl/shape-spec.cert
|
application/octet-stream | root:root | 0o644 | 307.4 KB |
/usr/share/acl2-7.1/books/centaur/gl/split-args.cert
|
application/octet-stream | root:root | 0o644 | 28.8 KB |
/usr/share/acl2-7.1/books/centaur/gl/symbolic-arithmetic.cert
|
application/octet-stream | root:root | 0o644 | 133.5 KB |
/usr/share/acl2-7.1/books/centaur/gl/try-gl.cert
|
application/octet-stream | root:root | 0o644 | 48.4 KB |
/usr/share/acl2-7.1/books/centaur/gl/tutorial.cert
|
application/octet-stream | root:root | 0o644 | 30.1 KB |
/usr/share/acl2-7.1/books/centaur/gl/var-bounds.cert
|
application/octet-stream | root:root | 0o644 | 30.9 KB |
/usr/share/acl2-7.1/books/centaur/memoize/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/centaur/memoize/old/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/centaur/memoize/old/case.cert
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/share/acl2-7.1/books/centaur/memoize/old/profile.cert
|
application/octet-stream | root:root | 0o644 | 9.1 KB |
/usr/share/acl2-7.1/books/centaur/memoize/old/watch.cert
|
application/octet-stream | root:root | 0o644 | 8.7 KB |
/usr/share/acl2-7.1/books/centaur/memoize/portcullis.cert
|
application/octet-stream | root:root | 0o644 | 772 bytes |
/usr/share/acl2-7.1/books/centaur/memoize/tests.cert
|
application/octet-stream | root:root | 0o644 | 1.3 KB |
/usr/share/acl2-7.1/books/centaur/memoize/top.cert
|
application/octet-stream | root:root | 0o644 | 6.7 KB |
/usr/share/acl2-7.1/books/centaur/misc/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/centaur/misc/1d-arr.cert
|
application/octet-stream | root:root | 0o644 | 6.5 KB |
/usr/share/acl2-7.1/books/centaur/misc/2d-arr.cert
|
application/octet-stream | root:root | 0o644 | 92.0 KB |
/usr/share/acl2-7.1/books/centaur/misc/absstobjs.cert
|
application/octet-stream | root:root | 0o644 | 859 bytes |
/usr/share/acl2-7.1/books/centaur/misc/alist-defs.cert
|
application/octet-stream | root:root | 0o644 | 3.8 KB |
/usr/share/acl2-7.1/books/centaur/misc/alist-equiv.cert
|
application/octet-stream | root:root | 0o644 | 7.0 KB |
/usr/share/acl2-7.1/books/centaur/misc/alist-witness.cert
|
application/octet-stream | root:root | 0o644 | 20.4 KB |
/usr/share/acl2-7.1/books/centaur/misc/ap.cert
|
application/octet-stream | root:root | 0o644 | 357 bytes |
/usr/share/acl2-7.1/books/centaur/misc/arith-equiv-defs.cert
|
application/octet-stream | root:root | 0o644 | 14.5 KB |
/usr/share/acl2-7.1/books/centaur/misc/arith-equivs.cert
|
application/octet-stream | root:root | 0o644 | 7.4 KB |
/usr/share/acl2-7.1/books/centaur/misc/arrays.cert
|
application/octet-stream | root:root | 0o644 | 368 bytes |
/usr/share/acl2-7.1/books/centaur/misc/beta-reduce-full.cert
|
application/octet-stream | root:root | 0o644 | 5.0 KB |
/usr/share/acl2-7.1/books/centaur/misc/bitarr.cert
|
application/octet-stream | root:root | 0o644 | 12.7 KB |
/usr/share/acl2-7.1/books/centaur/misc/context-rw.cert
|
application/octet-stream | root:root | 0o644 | 40.1 KB |
/usr/share/acl2-7.1/books/centaur/misc/count-up.cert
|
application/octet-stream | root:root | 0o644 | 375 bytes |
/usr/share/acl2-7.1/books/centaur/misc/dag-measure-thms.cert
|
application/octet-stream | root:root | 0o644 | 33.7 KB |
/usr/share/acl2-7.1/books/centaur/misc/dag-measure.cert
|
application/octet-stream | root:root | 0o644 | 15.5 KB |
/usr/share/acl2-7.1/books/centaur/misc/defapply.cert
|
application/octet-stream | root:root | 0o644 | 38.6 KB |
/usr/share/acl2-7.1/books/centaur/misc/dfs-measure.cert
|
application/octet-stream | root:root | 0o644 | 5.4 KB |
/usr/share/acl2-7.1/books/centaur/misc/equal-sets.cert
|
application/octet-stream | root:root | 0o644 | 16.3 KB |
/usr/share/acl2-7.1/books/centaur/misc/evaluator-metatheorems.cert
|
application/octet-stream | root:root | 0o644 | 13.2 KB |
/usr/share/acl2-7.1/books/centaur/misc/fal-graphs.cert
|
application/octet-stream | root:root | 0o644 | 862 bytes |
/usr/share/acl2-7.1/books/centaur/misc/fast-alist-pop.cert
|
application/octet-stream | root:root | 0o644 | 5.4 KB |
/usr/share/acl2-7.1/books/centaur/misc/fast-alists.cert
|
application/octet-stream | root:root | 0o644 | 20.1 KB |
/usr/share/acl2-7.1/books/centaur/misc/fast-cons-memo.cert
|
application/octet-stream | root:root | 0o644 | 5.9 KB |
/usr/share/acl2-7.1/books/centaur/misc/filter-alist.cert
|
application/octet-stream | root:root | 0o644 | 15.8 KB |
/usr/share/acl2-7.1/books/centaur/misc/hons-alphorder-merge.cert
|
application/octet-stream | root:root | 0o644 | 21.2 KB |
/usr/share/acl2-7.1/books/centaur/misc/hons-extra.cert
|
application/octet-stream | root:root | 0o644 | 4.7 KB |
/usr/share/acl2-7.1/books/centaur/misc/hons-remove-dups.cert
|
application/octet-stream | root:root | 0o644 | 7.2 KB |
/usr/share/acl2-7.1/books/centaur/misc/hons-sets.cert
|
application/octet-stream | root:root | 0o644 | 14.0 KB |
/usr/share/acl2-7.1/books/centaur/misc/intern-debugging.cert
|
application/octet-stream | root:root | 0o644 | 5.6 KB |
/usr/share/acl2-7.1/books/centaur/misc/interp-function-lookup.cert
|
application/octet-stream | root:root | 0o644 | 34.9 KB |
/usr/share/acl2-7.1/books/centaur/misc/introduce-var.cert
|
application/octet-stream | root:root | 0o644 | 41.3 KB |
/usr/share/acl2-7.1/books/centaur/misc/iter.cert
|
application/octet-stream | root:root | 0o644 | 10.7 KB |
/usr/share/acl2-7.1/books/centaur/misc/lists.cert
|
application/octet-stream | root:root | 0o644 | 7.1 KB |
/usr/share/acl2-7.1/books/centaur/misc/load-stobj-tests.cert
|
application/octet-stream | root:root | 0o644 | 17.0 KB |
/usr/share/acl2-7.1/books/centaur/misc/load-stobj.cert
|
application/octet-stream | root:root | 0o644 | 4.2 KB |
/usr/share/acl2-7.1/books/centaur/misc/memory-mgmt-logic.cert
|
application/octet-stream | root:root | 0o644 | 7.2 KB |
/usr/share/acl2-7.1/books/centaur/misc/memory-mgmt.cert
|
application/octet-stream | root:root | 0o644 | 1.1 KB |
/usr/share/acl2-7.1/books/centaur/misc/nat-list-duplicates.cert
|
application/octet-stream | root:root | 0o644 | 17.7 KB |
/usr/share/acl2-7.1/books/centaur/misc/natarr.cert
|
application/octet-stream | root:root | 0o644 | 20.5 KB |
/usr/share/acl2-7.1/books/centaur/misc/nats-equiv.cert
|
application/octet-stream | root:root | 0o644 | 6.8 KB |
/usr/share/acl2-7.1/books/centaur/misc/nth-equiv.cert
|
application/octet-stream | root:root | 0o644 | 3.0 KB |
/usr/share/acl2-7.1/books/centaur/misc/numlist.cert
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/share/acl2-7.1/books/centaur/misc/osets-witnessing.cert
|
application/octet-stream | root:root | 0o644 | 21.3 KB |
/usr/share/acl2-7.1/books/centaur/misc/outer-local-tests.cert
|
application/octet-stream | root:root | 0o644 | 2.8 KB |
/usr/share/acl2-7.1/books/centaur/misc/outer-local.cert
|
application/octet-stream | root:root | 0o644 | 3.0 KB |
/usr/share/acl2-7.1/books/centaur/misc/patterns.cert
|
application/octet-stream | root:root | 0o644 | 34.9 KB |
/usr/share/acl2-7.1/books/centaur/misc/remove-assoc.cert
|
application/octet-stream | root:root | 0o644 | 386 bytes |
/usr/share/acl2-7.1/books/centaur/misc/rewrite-rule.cert
|
application/octet-stream | root:root | 0o644 | 9.6 KB |
/usr/share/acl2-7.1/books/centaur/misc/seed-random.cert
|
application/octet-stream | root:root | 0o644 | 22.8 KB |
/usr/share/acl2-7.1/books/centaur/misc/sharedlibs.cert
|
application/octet-stream | root:root | 0o644 | 7.3 KB |
/usr/share/acl2-7.1/books/centaur/misc/smm-impl.cert
|
application/octet-stream | root:root | 0o644 | 11.9 KB |
/usr/share/acl2-7.1/books/centaur/misc/smm.cert
|
application/octet-stream | root:root | 0o644 | 8.6 KB |
/usr/share/acl2-7.1/books/centaur/misc/sneaky-load.cert
|
application/octet-stream | root:root | 0o644 | 55.4 KB |
/usr/share/acl2-7.1/books/centaur/misc/spacewalk.cert
|
application/octet-stream | root:root | 0o644 | 6.7 KB |
/usr/share/acl2-7.1/books/centaur/misc/sparsemap-impl.cert
|
application/octet-stream | root:root | 0o644 | 20.2 KB |
/usr/share/acl2-7.1/books/centaur/misc/sparsemap.cert
|
application/octet-stream | root:root | 0o644 | 18.0 KB |
/usr/share/acl2-7.1/books/centaur/misc/stobj-swap.cert
|
application/octet-stream | root:root | 0o644 | 381 bytes |
/usr/share/acl2-7.1/books/centaur/misc/suffixp.cert
|
application/octet-stream | root:root | 0o644 | 372 bytes |
/usr/share/acl2-7.1/books/centaur/misc/tailrec.cert
|
application/octet-stream | root:root | 0o644 | 15.9 KB |
/usr/share/acl2-7.1/books/centaur/misc/top.cert
|
application/octet-stream | root:root | 0o644 | 26.5 KB |
/usr/share/acl2-7.1/books/centaur/misc/tuplep.cert
|
application/octet-stream | root:root | 0o644 | 907 bytes |
/usr/share/acl2-7.1/books/centaur/misc/u32-listp.cert
|
application/octet-stream | root:root | 0o644 | 378 bytes |
/usr/share/acl2-7.1/books/centaur/misc/universal-equiv.cert
|
application/octet-stream | root:root | 0o644 | 4.7 KB |
/usr/share/acl2-7.1/books/centaur/misc/vecs-ints.cert
|
application/octet-stream | root:root | 0o644 | 4.2 KB |
/usr/share/acl2-7.1/books/centaur/misc/witness-cp.cert
|
application/octet-stream | root:root | 0o644 | 9.4 KB |
/usr/share/acl2-7.1/books/centaur/nrev/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/centaur/nrev/demo.cert
|
application/octet-stream | root:root | 0o644 | 23.6 KB |
/usr/share/acl2-7.1/books/centaur/nrev/fast.cert
|
application/octet-stream | root:root | 0o644 | 5.7 KB |
/usr/share/acl2-7.1/books/centaur/nrev/portcullis.cert
|
application/octet-stream | root:root | 0o644 | 1.2 KB |
/usr/share/acl2-7.1/books/centaur/nrev/pure.cert
|
application/octet-stream | root:root | 0o644 | 19.3 KB |
/usr/share/acl2-7.1/books/centaur/satlink/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/centaur/satlink/cnf-basics.cert
|
application/octet-stream | root:root | 0o644 | 23.3 KB |
/usr/share/acl2-7.1/books/centaur/satlink/cnf.cert
|
application/octet-stream | root:root | 0o644 | 39.3 KB |
/usr/share/acl2-7.1/books/centaur/satlink/config.cert
|
application/octet-stream | root:root | 0o644 | 19.6 KB |
/usr/share/acl2-7.1/books/centaur/satlink/dimacs.cert
|
application/octet-stream | root:root | 0o644 | 42.6 KB |
/usr/share/acl2-7.1/books/centaur/satlink/litp.cert
|
application/octet-stream | root:root | 0o644 | 49.5 KB |
/usr/share/acl2-7.1/books/centaur/satlink/portcullis.cert
|
application/octet-stream | root:root | 0o644 | 1.6 KB |
/usr/share/acl2-7.1/books/centaur/satlink/varp.cert
|
application/octet-stream | root:root | 0o644 | 26.1 KB |
/usr/share/acl2-7.1/books/centaur/ubdds/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/centaur/ubdds/core.cert
|
application/octet-stream | root:root | 0o644 | 49.3 KB |
/usr/share/acl2-7.1/books/centaur/ubdds/deps.cert
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/share/acl2-7.1/books/centaur/ubdds/extra-operations.cert
|
application/octet-stream | root:root | 0o644 | 54.9 KB |
/usr/share/acl2-7.1/books/centaur/ubdds/lite.cert
|
application/octet-stream | root:root | 0o644 | 10.2 KB |
/usr/share/acl2-7.1/books/centaur/ubdds/param.cert
|
application/octet-stream | root:root | 0o644 | 8.7 KB |
/usr/share/acl2-7.1/books/centaur/ubdds/sanity-check-macros.cert
|
application/octet-stream | root:root | 0o644 | 9.9 KB |
/usr/share/acl2-7.1/books/centaur/ubdds/subset.cert
|
application/octet-stream | root:root | 0o644 | 3.7 KB |
/usr/share/acl2-7.1/books/centaur/ubdds/witness.cert
|
application/octet-stream | root:root | 0o644 | 16.9 KB |
/usr/share/acl2-7.1/books/centaur/vl/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/centaur/vl/portcullis.cert
|
application/octet-stream | root:root | 0o644 | 6.4 KB |
/usr/share/acl2-7.1/books/centaur/vl/util/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/centaur/vl/util/arithmetic.cert
|
application/octet-stream | root:root | 0o644 | 80.0 KB |
/usr/share/acl2-7.1/books/centaur/vl/util/cwtime.cert
|
application/octet-stream | root:root | 0o644 | 3.0 KB |
/usr/share/acl2-7.1/books/centaur/vl/util/default-hints.cert
|
application/octet-stream | root:root | 0o644 | 7.3 KB |
/usr/share/acl2-7.1/books/centaur/vl/util/defs.cert
|
application/octet-stream | root:root | 0o644 | 207.5 KB |
/usr/share/acl2-7.1/books/centaur/vl/util/namedb.cert
|
application/octet-stream | root:root | 0o644 | 229.9 KB |
/usr/share/acl2-7.1/books/centaur/vl/util/subsetp-equal.cert
|
application/octet-stream | root:root | 0o644 | 15.7 KB |