/usr/share/acl2-7.1/books/centaur/misc/ 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/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 |