acl2-books-certs 6.3-5 / usr / share / acl2-6.3 / books / misc

This file is indexed.

/usr/share/acl2-6.3/books/misc/ is in acl2-books-certs 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.cert text/plain root:root 0o644 1.4 KB
/usr/share/acl2-6.3/books/misc/bash-bsd.cert text/plain root:root 0o644 225 bytes
/usr/share/acl2-6.3/books/misc/bash.cert text/x-lisp root:root 0o644 19.5 KB
/usr/share/acl2-6.3/books/misc/beta-reduce.cert text/plain root:root 0o644 2.6 KB
/usr/share/acl2-6.3/books/misc/book-checks.cert text/plain root:root 0o644 233 bytes
/usr/share/acl2-6.3/books/misc/callers-and-ancestors.cert text/plain root:root 0o644 264 bytes
/usr/share/acl2-6.3/books/misc/character-encoding-test.cert text/plain root:root 0o644 268 bytes
/usr/share/acl2-6.3/books/misc/check-acl2-exports.cert text/plain root:root 0o644 254 bytes
/usr/share/acl2-6.3/books/misc/computed-hint-rewrite.cert text/plain root:root 0o644 261 bytes
/usr/share/acl2-6.3/books/misc/computed-hint.cert text/plain root:root 0o644 239 bytes
/usr/share/acl2-6.3/books/misc/congruent-stobjs-test.cert text/plain root:root 0o644 2.6 KB
/usr/share/acl2-6.3/books/misc/csort.cert text/plain root:root 0o644 215 bytes
/usr/share/acl2-6.3/books/misc/dead-events.cert text/plain root:root 0o644 234 bytes
/usr/share/acl2-6.3/books/misc/defabsstobj-example-1.cert text/plain root:root 0o644 515 bytes
/usr/share/acl2-6.3/books/misc/defabsstobj-example-2.cert text/plain root:root 0o644 262 bytes
/usr/share/acl2-6.3/books/misc/defabsstobj-example-3.cert text/plain root:root 0o644 263 bytes
/usr/share/acl2-6.3/books/misc/defabsstobj-example-4.cert text/plain root:root 0o644 1.6 KB
/usr/share/acl2-6.3/books/misc/defattach-bang.cert text/plain root:root 0o644 243 bytes
/usr/share/acl2-6.3/books/misc/defattach-example.cert text/plain root:root 0o644 3.5 KB
/usr/share/acl2-6.3/books/misc/definline.cert text/plain root:root 0o644 228 bytes
/usr/share/acl2-6.3/books/misc/defmac.cert text/plain root:root 0o644 218 bytes
/usr/share/acl2-6.3/books/misc/defopener.cert text/plain root:root 0o644 950 bytes
/usr/share/acl2-6.3/books/misc/defp.cert text/plain root:root 0o644 433 bytes
/usr/share/acl2-6.3/books/misc/defproxy-test.cert text/plain root:root 0o644 637 bytes
/usr/share/acl2-6.3/books/misc/defpun.cert text/plain root:root 0o644 216 bytes
/usr/share/acl2-6.3/books/misc/defun-plus.cert text/plain root:root 0o644 230 bytes
/usr/share/acl2-6.3/books/misc/dft-ex.cert text/plain root:root 0o644 3.3 KB
/usr/share/acl2-6.3/books/misc/dft.cert text/plain root:root 0o644 210 bytes
/usr/share/acl2-6.3/books/misc/dijkstra-shortest-path.cert text/plain root:root 0o644 266 bytes
/usr/share/acl2-6.3/books/misc/disassemble.cert text/plain root:root 0o644 299 bytes
/usr/share/acl2-6.3/books/misc/dump-events.cert text/plain root:root 0o644 233 bytes
/usr/share/acl2-6.3/books/misc/equal-by-g-help.cert text/plain root:root 0o644 1.1 KB
/usr/share/acl2-6.3/books/misc/equal-by-g.cert text/plain root:root 0o644 1.2 KB
/usr/share/acl2-6.3/books/misc/eval.cert text/plain root:root 0o644 212 bytes
/usr/share/acl2-6.3/books/misc/evalable-printing.cert text/plain root:root 0o644 250 bytes
/usr/share/acl2-6.3/books/misc/expander.cert text/plain root:root 0o644 225 bytes
/usr/share/acl2-6.3/books/misc/fast-coerce.cert text/plain root:root 0o644 5.1 KB
/usr/share/acl2-6.3/books/misc/fibonacci.cert text/plain root:root 0o644 4.8 KB
/usr/share/acl2-6.3/books/misc/file-io.cert text/plain root:root 0o644 222 bytes
/usr/share/acl2-6.3/books/misc/find-lemmas.cert text/plain root:root 0o644 233 bytes
/usr/share/acl2-6.3/books/misc/gentle.cert text/plain root:root 0o644 219 bytes
/usr/share/acl2-6.3/books/misc/getprop.cert text/plain root:root 0o644 529 bytes
/usr/share/acl2-6.3/books/misc/goodstein.cert text/plain root:root 0o644 4.5 KB
/usr/share/acl2-6.3/books/misc/grcd.cert text/plain root:root 0o644 4.7 KB
/usr/share/acl2-6.3/books/misc/hanoi.cert text/plain root:root 0o644 349 bytes
/usr/share/acl2-6.3/books/misc/hons-help.cert text/plain root:root 0o644 579 bytes
/usr/share/acl2-6.3/books/misc/hons-help2.cert text/plain root:root 0o644 477 bytes
/usr/share/acl2-6.3/books/misc/hons-tests.cert text/plain root:root 0o644 711 bytes
/usr/share/acl2-6.3/books/misc/how-to-prove-thms.cert text/plain root:root 0o644 250 bytes
/usr/share/acl2-6.3/books/misc/int-division.cert text/plain root:root 0o644 1.0 KB
/usr/share/acl2-6.3/books/misc/integer-type-set-test.cert text/plain root:root 0o644 263 bytes
/usr/share/acl2-6.3/books/misc/invariants.cert text/plain root:root 0o644 954 bytes
/usr/share/acl2-6.3/books/misc/meta-lemmas.cert text/plain root:root 0o644 4.6 KB
/usr/share/acl2-6.3/books/misc/misc2/ root:root 0o755
/usr/share/acl2-6.3/books/misc/misc2/defpun-exec-domain-example.cert text/plain root:root 0o644 715 bytes
/usr/share/acl2-6.3/books/misc/misc2/misc.cert text/plain root:root 0o644 19.3 KB
/usr/share/acl2-6.3/books/misc/misc2/reverse-by-separation.cert text/plain root:root 0o644 26.5 KB
/usr/share/acl2-6.3/books/misc/misc2/ruler-extenders-tests.cert text/plain root:root 0o644 953 bytes
/usr/share/acl2-6.3/books/misc/misc2/step-limits.cert text/plain root:root 0o644 4.3 KB
/usr/share/acl2-6.3/books/misc/mult.cert text/plain root:root 0o644 7.0 KB
/usr/share/acl2-6.3/books/misc/nested-stobj-tests.cert text/plain root:root 0o644 9.8 KB
/usr/share/acl2-6.3/books/misc/oprof.cert text/plain root:root 0o644 267 bytes
/usr/share/acl2-6.3/books/misc/priorities.cert text/plain root:root 0o644 231 bytes
/usr/share/acl2-6.3/books/misc/problem13.cert text/plain root:root 0o644 4.6 KB
/usr/share/acl2-6.3/books/misc/process-book-readme.cert text/plain root:root 0o644 258 bytes
/usr/share/acl2-6.3/books/misc/profiling.cert text/plain root:root 0o644 286 bytes
/usr/share/acl2-6.3/books/misc/qi-correct.cert text/plain root:root 0o644 712 bytes
/usr/share/acl2-6.3/books/misc/qi.cert text/plain root:root 0o644 581 bytes
/usr/share/acl2-6.3/books/misc/radix.cert text/plain root:root 0o644 9.9 KB
/usr/share/acl2-6.3/books/misc/random.cert text/plain root:root 0o644 9.6 KB
/usr/share/acl2-6.3/books/misc/records-bsd.cert text/plain root:root 0o644 379 bytes
/usr/share/acl2-6.3/books/misc/records.cert text/plain root:root 0o644 995 bytes
/usr/share/acl2-6.3/books/misc/records0.cert text/plain root:root 0o644 996 bytes
/usr/share/acl2-6.3/books/misc/redef-pkg.cert text/plain root:root 0o644 286 bytes
/usr/share/acl2-6.3/books/misc/rtl-untranslate.cert text/plain root:root 0o644 4.0 KB
/usr/share/acl2-6.3/books/misc/save-time.cert text/plain root:root 0o644 480 bytes
/usr/share/acl2-6.3/books/misc/seq.cert text/plain root:root 0o644 209 bytes
/usr/share/acl2-6.3/books/misc/seqw.cert text/plain root:root 0o644 320 bytes
/usr/share/acl2-6.3/books/misc/simplify-defuns.cert text/plain root:root 0o644 368 bytes
/usr/share/acl2-6.3/books/misc/simplify-thm.cert text/plain root:root 0o644 961 bytes
/usr/share/acl2-6.3/books/misc/sin-cos.cert text/plain root:root 0o644 220 bytes
/usr/share/acl2-6.3/books/misc/sort-symbols.cert text/plain root:root 0o644 236 bytes
/usr/share/acl2-6.3/books/misc/sticky-disable.cert text/plain root:root 0o644 242 bytes
/usr/share/acl2-6.3/books/misc/symbol-btree.cert text/plain root:root 0o644 5.2 KB
/usr/share/acl2-6.3/books/misc/total-order-bsd.cert text/plain root:root 0o644 244 bytes
/usr/share/acl2-6.3/books/misc/total-order.cert text/plain root:root 0o644 31.4 KB
/usr/share/acl2-6.3/books/misc/trace-star.cert text/plain root:root 0o644 381 bytes
/usr/share/acl2-6.3/books/misc/transfinite.cert text/plain root:root 0o644 232 bytes
/usr/share/acl2-6.3/books/misc/untranslate-patterns.cert text/plain root:root 0o644 4.0 KB
/usr/share/acl2-6.3/books/misc/wet.cert text/plain root:root 0o644 208 bytes

APT Browse - Built by Thomas Orozco.