/usr/share/acl2-7.1/books/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/misc/arithmetic-top-theory.cert
|
application/octet-stream | root:root | 0o644 | 65.4 KB |
/usr/share/acl2-7.1/books/misc/assert.cert
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/share/acl2-7.1/books/misc/bash-bsd.cert
|
application/octet-stream | root:root | 0o644 | 367 bytes |
/usr/share/acl2-7.1/books/misc/bash.cert
|
application/octet-stream | root:root | 0o644 | 10.2 KB |
/usr/share/acl2-7.1/books/misc/beta-reduce.cert
|
application/octet-stream | root:root | 0o644 | 2.7 KB |
/usr/share/acl2-7.1/books/misc/book-checks.cert
|
application/octet-stream | root:root | 0o644 | 376 bytes |
/usr/share/acl2-7.1/books/misc/callers-and-ancestors.cert
|
application/octet-stream | root:root | 0o644 | 406 bytes |
/usr/share/acl2-7.1/books/misc/character-encoding-test.cert
|
application/octet-stream | root:root | 0o644 | 412 bytes |
/usr/share/acl2-7.1/books/misc/check-acl2-exports.cert
|
application/octet-stream | root:root | 0o644 | 397 bytes |
/usr/share/acl2-7.1/books/misc/check-fn-inst.cert
|
application/octet-stream | root:root | 0o644 | 970 bytes |
/usr/share/acl2-7.1/books/misc/check-state.cert
|
application/octet-stream | root:root | 0o644 | 376 bytes |
/usr/share/acl2-7.1/books/misc/computed-hint-rewrite.cert
|
application/octet-stream | root:root | 0o644 | 405 bytes |
/usr/share/acl2-7.1/books/misc/computed-hint.cert
|
application/octet-stream | root:root | 0o644 | 381 bytes |
/usr/share/acl2-7.1/books/misc/congruent-stobjs-test.cert
|
application/octet-stream | root:root | 0o644 | 2.2 KB |
/usr/share/acl2-7.1/books/misc/csort.cert
|
application/octet-stream | root:root | 0o644 | 358 bytes |
/usr/share/acl2-7.1/books/misc/dead-events.cert
|
application/octet-stream | root:root | 0o644 | 376 bytes |
/usr/share/acl2-7.1/books/misc/defabsstobj-example-1.cert
|
application/octet-stream | root:root | 0o644 | 719 bytes |
/usr/share/acl2-7.1/books/misc/defabsstobj-example-2.cert
|
application/octet-stream | root:root | 0o644 | 406 bytes |
/usr/share/acl2-7.1/books/misc/defabsstobj-example-3.cert
|
application/octet-stream | root:root | 0o644 | 406 bytes |
/usr/share/acl2-7.1/books/misc/defabsstobj-example-4.cert
|
application/octet-stream | root:root | 0o644 | 1.3 KB |
/usr/share/acl2-7.1/books/misc/defattach-bang.cert
|
application/octet-stream | root:root | 0o644 | 385 bytes |
/usr/share/acl2-7.1/books/misc/defattach-example.cert
|
application/octet-stream | root:root | 0o644 | 2.4 KB |
/usr/share/acl2-7.1/books/misc/definline.cert
|
application/octet-stream | root:root | 0o644 | 370 bytes |
/usr/share/acl2-7.1/books/misc/defmac.cert
|
application/octet-stream | root:root | 0o644 | 4.0 KB |
/usr/share/acl2-7.1/books/misc/defopener.cert
|
application/octet-stream | root:root | 0o644 | 4.2 KB |
/usr/share/acl2-7.1/books/misc/defp.cert
|
application/octet-stream | root:root | 0o644 | 589 bytes |
/usr/share/acl2-7.1/books/misc/defpm.cert
|
application/octet-stream | root:root | 0o644 | 133.6 KB |
/usr/share/acl2-7.1/books/misc/defproxy-test.cert
|
application/octet-stream | root:root | 0o644 | 731 bytes |
/usr/share/acl2-7.1/books/misc/defpun.cert
|
application/octet-stream | root:root | 0o644 | 361 bytes |
/usr/share/acl2-7.1/books/misc/defun-plus.cert
|
application/octet-stream | root:root | 0o644 | 373 bytes |
/usr/share/acl2-7.1/books/misc/dft-ex.cert
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/share/acl2-7.1/books/misc/dft.cert
|
application/octet-stream | root:root | 0o644 | 352 bytes |
/usr/share/acl2-7.1/books/misc/dijkstra-shortest-path.cert
|
application/octet-stream | root:root | 0o644 | 409 bytes |
/usr/share/acl2-7.1/books/misc/disassemble.cert
|
application/octet-stream | root:root | 0o644 | 419 bytes |
/usr/share/acl2-7.1/books/misc/dump-events.cert
|
application/octet-stream | root:root | 0o644 | 2.4 KB |
/usr/share/acl2-7.1/books/misc/enumerate.cert
|
application/octet-stream | root:root | 0o644 | 370 bytes |
/usr/share/acl2-7.1/books/misc/equal-by-g-help.cert
|
application/octet-stream | root:root | 0o644 | 1.1 KB |
/usr/share/acl2-7.1/books/misc/equal-by-g.cert
|
application/octet-stream | root:root | 0o644 | 1.2 KB |
/usr/share/acl2-7.1/books/misc/eval.cert
|
application/octet-stream | root:root | 0o644 | 355 bytes |
/usr/share/acl2-7.1/books/misc/evalable-printing.cert
|
application/octet-stream | root:root | 0o644 | 393 bytes |
/usr/share/acl2-7.1/books/misc/expander.cert
|
application/octet-stream | root:root | 0o644 | 8.4 KB |
/usr/share/acl2-7.1/books/misc/fast-coerce.cert
|
application/octet-stream | root:root | 0o644 | 3.6 KB |
/usr/share/acl2-7.1/books/misc/fibonacci.cert
|
application/octet-stream | root:root | 0o644 | 4.4 KB |
/usr/share/acl2-7.1/books/misc/file-io.cert
|
application/octet-stream | root:root | 0o644 | 363 bytes |
/usr/share/acl2-7.1/books/misc/find-lemmas.cert
|
application/octet-stream | root:root | 0o644 | 5.6 KB |
/usr/share/acl2-7.1/books/misc/gentle.cert
|
application/octet-stream | root:root | 0o644 | 361 bytes |
/usr/share/acl2-7.1/books/misc/getprop.cert
|
application/octet-stream | root:root | 0o644 | 647 bytes |
/usr/share/acl2-7.1/books/misc/goodstein.cert
|
application/octet-stream | root:root | 0o644 | 4.2 KB |
/usr/share/acl2-7.1/books/misc/grcd.cert
|
application/octet-stream | root:root | 0o644 | 4.3 KB |
/usr/share/acl2-7.1/books/misc/hanoi.cert
|
application/octet-stream | root:root | 0o644 | 546 bytes |
/usr/share/acl2-7.1/books/misc/hons-help.cert
|
application/octet-stream | root:root | 0o644 | 9.9 KB |
/usr/share/acl2-7.1/books/misc/hons-help2.cert
|
application/octet-stream | root:root | 0o644 | 2.5 KB |
/usr/share/acl2-7.1/books/misc/hons-tests.cert
|
application/octet-stream | root:root | 0o644 | 7.8 KB |
/usr/share/acl2-7.1/books/misc/how-to-prove-thms.cert
|
application/octet-stream | root:root | 0o644 | 393 bytes |
/usr/share/acl2-7.1/books/misc/int-division.cert
|
application/octet-stream | root:root | 0o644 | 1.6 KB |
/usr/share/acl2-7.1/books/misc/integer-type-set-test.cert
|
application/octet-stream | root:root | 0o644 | 406 bytes |
/usr/share/acl2-7.1/books/misc/invariants.cert
|
application/octet-stream | root:root | 0o644 | 972 bytes |
/usr/share/acl2-7.1/books/misc/meta-lemmas.cert
|
application/octet-stream | root:root | 0o644 | 15.6 KB |
/usr/share/acl2-7.1/books/misc/misc2/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/misc/misc2/defpun-exec-domain-example.cert
|
application/octet-stream | root:root | 0o644 | 846 bytes |
/usr/share/acl2-7.1/books/misc/misc2/misc.cert
|
application/octet-stream | root:root | 0o644 | 14.5 KB |
/usr/share/acl2-7.1/books/misc/misc2/reverse-by-separation.cert
|
application/octet-stream | root:root | 0o644 | 20.7 KB |
/usr/share/acl2-7.1/books/misc/misc2/ruler-extenders-tests.cert
|
application/octet-stream | root:root | 0o644 | 1.0 KB |
/usr/share/acl2-7.1/books/misc/misc2/step-limits.cert
|
application/octet-stream | root:root | 0o644 | 3.0 KB |
/usr/share/acl2-7.1/books/misc/mult.cert
|
application/octet-stream | root:root | 0o644 | 7.9 KB |
/usr/share/acl2-7.1/books/misc/multi-v-uni.cert
|
application/octet-stream | root:root | 0o644 | 376 bytes |
/usr/share/acl2-7.1/books/misc/nested-stobj-tests.cert
|
application/octet-stream | root:root | 0o644 | 8.6 KB |
/usr/share/acl2-7.1/books/misc/oprof.cert
|
application/octet-stream | root:root | 0o644 | 387 bytes |
/usr/share/acl2-7.1/books/misc/priorities.cert
|
application/octet-stream | root:root | 0o644 | 372 bytes |
/usr/share/acl2-7.1/books/misc/problem13.cert
|
application/octet-stream | root:root | 0o644 | 4.2 KB |
/usr/share/acl2-7.1/books/misc/process-book-readme.cert
|
application/octet-stream | root:root | 0o644 | 400 bytes |
/usr/share/acl2-7.1/books/misc/profiling.cert
|
application/octet-stream | root:root | 0o644 | 407 bytes |
/usr/share/acl2-7.1/books/misc/radix.cert
|
application/octet-stream | root:root | 0o644 | 4.2 KB |
/usr/share/acl2-7.1/books/misc/random.cert
|
application/octet-stream | root:root | 0o644 | 3.9 KB |
/usr/share/acl2-7.1/books/misc/records-bsd.cert
|
application/octet-stream | root:root | 0o644 | 463 bytes |
/usr/share/acl2-7.1/books/misc/records.cert
|
application/octet-stream | root:root | 0o644 | 1021 bytes |
/usr/share/acl2-7.1/books/misc/records0.cert
|
application/octet-stream | root:root | 0o644 | 1.0 KB |
/usr/share/acl2-7.1/books/misc/redef-pkg.cert
|
application/octet-stream | root:root | 0o644 | 408 bytes |
/usr/share/acl2-7.1/books/misc/rtl-untranslate.cert
|
application/octet-stream | root:root | 0o644 | 4.9 KB |
/usr/share/acl2-7.1/books/misc/save-time.cert
|
application/octet-stream | root:root | 0o644 | 675 bytes |
/usr/share/acl2-7.1/books/misc/seq.cert
|
application/octet-stream | root:root | 0o644 | 11.7 KB |
/usr/share/acl2-7.1/books/misc/seqw.cert
|
application/octet-stream | root:root | 0o644 | 4.0 KB |
/usr/share/acl2-7.1/books/misc/simp.cert
|
application/octet-stream | root:root | 0o644 | 3.9 KB |
/usr/share/acl2-7.1/books/misc/simplify-defuns.cert
|
application/octet-stream | root:root | 0o644 | 451 bytes |
/usr/share/acl2-7.1/books/misc/simplify-thm.cert
|
application/octet-stream | root:root | 0o644 | 978 bytes |
/usr/share/acl2-7.1/books/misc/sin-cos.cert
|
application/octet-stream | root:root | 0o644 | 14.8 KB |
/usr/share/acl2-7.1/books/misc/sort-symbols.cert
|
application/octet-stream | root:root | 0o644 | 378 bytes |
/usr/share/acl2-7.1/books/misc/sticky-disable.cert
|
application/octet-stream | root:root | 0o644 | 385 bytes |
/usr/share/acl2-7.1/books/misc/symbol-btree.cert
|
application/octet-stream | root:root | 0o644 | 4.8 KB |
/usr/share/acl2-7.1/books/misc/total-order-bsd.cert
|
application/octet-stream | root:root | 0o644 | 388 bytes |
/usr/share/acl2-7.1/books/misc/total-order.cert
|
application/octet-stream | root:root | 0o644 | 16.8 KB |
/usr/share/acl2-7.1/books/misc/trace-star.cert
|
application/octet-stream | root:root | 0o644 | 2.4 KB |
/usr/share/acl2-7.1/books/misc/transfinite.cert
|
application/octet-stream | root:root | 0o644 | 375 bytes |
/usr/share/acl2-7.1/books/misc/untranslate-patterns.cert
|
application/octet-stream | root:root | 0o644 | 16.2 KB |
/usr/share/acl2-7.1/books/misc/wet.cert
|
application/octet-stream | root:root | 0o644 | 352 bytes |
/usr/share/acl2-7.1/books/misc/with-waterfall-parallelism.cert
|
application/octet-stream | root:root | 0o644 | 1.5 KB |
/usr/share/acl2-7.1/books/misc/without-waterfall-parallelism.cert
|
application/octet-stream | root:root | 0o644 | 1.5 KB |