/usr/share/acl2-7.1/books/std/ 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/std/alists/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/std/alists/abstract.cert
|
application/octet-stream | root:root | 0o644 | 12.7 KB |
/usr/share/acl2-7.1/books/std/alists/alist-defuns.cert
|
application/octet-stream | root:root | 0o644 | 11.5 KB |
/usr/share/acl2-7.1/books/std/alists/alist-equiv.cert
|
application/octet-stream | root:root | 0o644 | 14.7 KB |
/usr/share/acl2-7.1/books/std/alists/alist-fix.cert
|
application/octet-stream | root:root | 0o644 | 2.6 KB |
/usr/share/acl2-7.1/books/std/alists/alist-keys.cert
|
application/octet-stream | root:root | 0o644 | 6.9 KB |
/usr/share/acl2-7.1/books/std/alists/alist-vals.cert
|
application/octet-stream | root:root | 0o644 | 4.9 KB |
/usr/share/acl2-7.1/books/std/alists/alistp.cert
|
application/octet-stream | root:root | 0o644 | 5.6 KB |
/usr/share/acl2-7.1/books/std/alists/alists-compatible.cert
|
application/octet-stream | root:root | 0o644 | 2.4 KB |
/usr/share/acl2-7.1/books/std/alists/append-alist-keys.cert
|
application/octet-stream | root:root | 0o644 | 5.9 KB |
/usr/share/acl2-7.1/books/std/alists/append-alist-vals.cert
|
application/octet-stream | root:root | 0o644 | 5.9 KB |
/usr/share/acl2-7.1/books/std/alists/fal-all-boundp.cert
|
application/octet-stream | root:root | 0o644 | 13.7 KB |
/usr/share/acl2-7.1/books/std/alists/fal-extract-vals.cert
|
application/octet-stream | root:root | 0o644 | 5.5 KB |
/usr/share/acl2-7.1/books/std/alists/fal-extract.cert
|
application/octet-stream | root:root | 0o644 | 5.8 KB |
/usr/share/acl2-7.1/books/std/alists/fal-find-any.cert
|
application/octet-stream | root:root | 0o644 | 10.4 KB |
/usr/share/acl2-7.1/books/std/alists/fast-alist-clean.cert
|
application/octet-stream | root:root | 0o644 | 2.4 KB |
/usr/share/acl2-7.1/books/std/alists/hons-assoc-equal.cert
|
application/octet-stream | root:root | 0o644 | 5.7 KB |
/usr/share/acl2-7.1/books/std/alists/hons-rassoc-equal.cert
|
application/octet-stream | root:root | 0o644 | 5.8 KB |
/usr/share/acl2-7.1/books/std/alists/hons-remove-assoc.cert
|
application/octet-stream | root:root | 0o644 | 4.0 KB |
/usr/share/acl2-7.1/books/std/alists/pairlis.cert
|
application/octet-stream | root:root | 0o644 | 4.5 KB |
/usr/share/acl2-7.1/books/std/alists/strip-cars.cert
|
application/octet-stream | root:root | 0o644 | 6.6 KB |
/usr/share/acl2-7.1/books/std/alists/strip-cdrs.cert
|
application/octet-stream | root:root | 0o644 | 6.6 KB |
/usr/share/acl2-7.1/books/std/alists/top.cert
|
application/octet-stream | root:root | 0o644 | 16.2 KB |
/usr/share/acl2-7.1/books/std/alists/worth-hashing.cert
|
application/octet-stream | root:root | 0o644 | 8.3 KB |
/usr/share/acl2-7.1/books/std/basic/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/std/basic/defs.cert
|
application/octet-stream | root:root | 0o644 | 21.0 KB |
/usr/share/acl2-7.1/books/std/basic/inductions.cert
|
application/octet-stream | root:root | 0o644 | 5.7 KB |
/usr/share/acl2-7.1/books/std/basic/top.cert
|
application/octet-stream | root:root | 0o644 | 1.6 KB |
/usr/share/acl2-7.1/books/std/bitsets/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/std/bitsets/bits-between.cert
|
application/octet-stream | root:root | 0o644 | 46.7 KB |
/usr/share/acl2-7.1/books/std/bitsets/bitsets-opt.cert
|
application/octet-stream | root:root | 0o644 | 26.6 KB |
/usr/share/acl2-7.1/books/std/bitsets/bitsets.cert
|
application/octet-stream | root:root | 0o644 | 98.7 KB |
/usr/share/acl2-7.1/books/std/bitsets/sbitsets.cert
|
application/octet-stream | root:root | 0o644 | 105.5 KB |
/usr/share/acl2-7.1/books/std/bitsets/top.cert
|
application/octet-stream | root:root | 0o644 | 28.5 KB |
/usr/share/acl2-7.1/books/std/io/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/std/io/base.cert
|
application/octet-stream | root:root | 0o644 | 61.8 KB |
/usr/share/acl2-7.1/books/std/io/combine.cert
|
application/octet-stream | root:root | 0o644 | 28.2 KB |
/usr/share/acl2-7.1/books/std/io/file-measure.cert
|
application/octet-stream | root:root | 0o644 | 5.0 KB |
/usr/share/acl2-7.1/books/std/io/nthcdr-bytes.cert
|
application/octet-stream | root:root | 0o644 | 19.7 KB |
/usr/share/acl2-7.1/books/std/io/print-objects.cert
|
application/octet-stream | root:root | 0o644 | 30.4 KB |
/usr/share/acl2-7.1/books/std/io/read-file-bytes.cert
|
application/octet-stream | root:root | 0o644 | 22.2 KB |
/usr/share/acl2-7.1/books/std/io/read-file-characters-no-error.cert
|
application/octet-stream | root:root | 0o644 | 15.9 KB |
/usr/share/acl2-7.1/books/std/io/read-file-characters.cert
|
application/octet-stream | root:root | 0o644 | 34.8 KB |
/usr/share/acl2-7.1/books/std/io/read-file-lines.cert
|
application/octet-stream | root:root | 0o644 | 20.8 KB |
/usr/share/acl2-7.1/books/std/io/read-file-objects.cert
|
application/octet-stream | root:root | 0o644 | 21.0 KB |
/usr/share/acl2-7.1/books/std/io/read-ints.cert
|
application/octet-stream | root:root | 0o644 | 102.4 KB |
/usr/share/acl2-7.1/books/std/io/read-string-tests.cert
|
application/octet-stream | root:root | 0o644 | 4.6 KB |
/usr/share/acl2-7.1/books/std/io/read-string.cert
|
application/octet-stream | root:root | 0o644 | 12.2 KB |
/usr/share/acl2-7.1/books/std/io/serialize-tests.cert
|
application/octet-stream | root:root | 0o644 | 3.2 KB |
/usr/share/acl2-7.1/books/std/io/serialize-tests2.cert
|
application/octet-stream | root:root | 0o644 | 1.5 KB |
/usr/share/acl2-7.1/books/std/io/take-bytes.cert
|
application/octet-stream | root:root | 0o644 | 18.5 KB |
/usr/share/acl2-7.1/books/std/io/top.cert
|
application/octet-stream | root:root | 0o644 | 25.2 KB |
/usr/share/acl2-7.1/books/std/io/unsound-read.cert
|
application/octet-stream | root:root | 0o644 | 6.9 KB |
/usr/share/acl2-7.1/books/std/lists/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/std/lists/abstract.cert
|
application/octet-stream | root:root | 0o644 | 30.1 KB |
/usr/share/acl2-7.1/books/std/lists/acl2-count.cert
|
application/octet-stream | root:root | 0o644 | 944 bytes |
/usr/share/acl2-7.1/books/std/lists/all-equalp.cert
|
application/octet-stream | root:root | 0o644 | 9.8 KB |
/usr/share/acl2-7.1/books/std/lists/append.cert
|
application/octet-stream | root:root | 0o644 | 5.6 KB |
/usr/share/acl2-7.1/books/std/lists/butlast.cert
|
application/octet-stream | root:root | 0o644 | 1.7 KB |
/usr/share/acl2-7.1/books/std/lists/duplicity.cert
|
application/octet-stream | root:root | 0o644 | 7.5 KB |
/usr/share/acl2-7.1/books/std/lists/equiv.cert
|
application/octet-stream | root:root | 0o644 | 8.6 KB |
/usr/share/acl2-7.1/books/std/lists/final-cdr.cert
|
application/octet-stream | root:root | 0o644 | 5.0 KB |
/usr/share/acl2-7.1/books/std/lists/flatten.cert
|
application/octet-stream | root:root | 0o644 | 4.7 KB |
/usr/share/acl2-7.1/books/std/lists/index-of.cert
|
application/octet-stream | root:root | 0o644 | 5.3 KB |
/usr/share/acl2-7.1/books/std/lists/intersection.cert
|
application/octet-stream | root:root | 0o644 | 6.8 KB |
/usr/share/acl2-7.1/books/std/lists/intersectp.cert
|
application/octet-stream | root:root | 0o644 | 4.2 KB |
/usr/share/acl2-7.1/books/std/lists/last.cert
|
application/octet-stream | root:root | 0o644 | 4.7 KB |
/usr/share/acl2-7.1/books/std/lists/len.cert
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/share/acl2-7.1/books/std/lists/list-defuns.cert
|
application/octet-stream | root:root | 0o644 | 1.1 KB |
/usr/share/acl2-7.1/books/std/lists/list-fix.cert
|
application/octet-stream | root:root | 0o644 | 7.2 KB |
/usr/share/acl2-7.1/books/std/lists/mfc-utils.cert
|
application/octet-stream | root:root | 0o644 | 942 bytes |
/usr/share/acl2-7.1/books/std/lists/no-duplicatesp.cert
|
application/octet-stream | root:root | 0o644 | 8.8 KB |
/usr/share/acl2-7.1/books/std/lists/nth.cert
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/share/acl2-7.1/books/std/lists/nthcdr.cert
|
application/octet-stream | root:root | 0o644 | 7.7 KB |
/usr/share/acl2-7.1/books/std/lists/prefixp.cert
|
application/octet-stream | root:root | 0o644 | 5.5 KB |
/usr/share/acl2-7.1/books/std/lists/rcons.cert
|
application/octet-stream | root:root | 0o644 | 4.8 KB |
/usr/share/acl2-7.1/books/std/lists/remove-duplicates.cert
|
application/octet-stream | root:root | 0o644 | 12.8 KB |
/usr/share/acl2-7.1/books/std/lists/remove.cert
|
application/octet-stream | root:root | 0o644 | 5.9 KB |
/usr/share/acl2-7.1/books/std/lists/repeat.cert
|
application/octet-stream | root:root | 0o644 | 10.0 KB |
/usr/share/acl2-7.1/books/std/lists/resize-list.cert
|
application/octet-stream | root:root | 0o644 | 2.4 KB |
/usr/share/acl2-7.1/books/std/lists/rev.cert
|
application/octet-stream | root:root | 0o644 | 6.6 KB |
/usr/share/acl2-7.1/books/std/lists/revappend.cert
|
application/octet-stream | root:root | 0o644 | 5.2 KB |
/usr/share/acl2-7.1/books/std/lists/reverse.cert
|
application/octet-stream | root:root | 0o644 | 7.4 KB |
/usr/share/acl2-7.1/books/std/lists/same-lengthp.cert
|
application/octet-stream | root:root | 0o644 | 2.6 KB |
/usr/share/acl2-7.1/books/std/lists/set-difference.cert
|
application/octet-stream | root:root | 0o644 | 4.2 KB |
/usr/share/acl2-7.1/books/std/lists/sets.cert
|
application/octet-stream | root:root | 0o644 | 21.2 KB |
/usr/share/acl2-7.1/books/std/lists/sublistp.cert
|
application/octet-stream | root:root | 0o644 | 9.3 KB |
/usr/share/acl2-7.1/books/std/lists/subseq.cert
|
application/octet-stream | root:root | 0o644 | 4.9 KB |
/usr/share/acl2-7.1/books/std/lists/take.cert
|
application/octet-stream | root:root | 0o644 | 9.0 KB |
/usr/share/acl2-7.1/books/std/lists/top.cert
|
application/octet-stream | root:root | 0o644 | 14.4 KB |
/usr/share/acl2-7.1/books/std/lists/true-listp.cert
|
application/octet-stream | root:root | 0o644 | 3.1 KB |
/usr/share/acl2-7.1/books/std/lists/update-nth.cert
|
application/octet-stream | root:root | 0o644 | 8.6 KB |
/usr/share/acl2-7.1/books/std/misc/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/std/misc/intern-in-package-of-symbol.cert
|
application/octet-stream | root:root | 0o644 | 428 bytes |
/usr/share/acl2-7.1/books/std/misc/top.cert
|
application/octet-stream | root:root | 0o644 | 3.7 KB |
/usr/share/acl2-7.1/books/std/misc/two-nats-measure.cert
|
application/octet-stream | root:root | 0o644 | 8.9 KB |
/usr/share/acl2-7.1/books/std/osets/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/std/osets/cardinality.cert
|
application/octet-stream | root:root | 0o644 | 5.7 KB |
/usr/share/acl2-7.1/books/std/osets/computed-hints.cert
|
application/octet-stream | root:root | 0o644 | 984 bytes |
/usr/share/acl2-7.1/books/std/osets/delete.cert
|
application/octet-stream | root:root | 0o644 | 4.9 KB |
/usr/share/acl2-7.1/books/std/osets/difference.cert
|
application/octet-stream | root:root | 0o644 | 4.9 KB |
/usr/share/acl2-7.1/books/std/osets/element-list.cert
|
application/octet-stream | root:root | 0o644 | 4.5 KB |
/usr/share/acl2-7.1/books/std/osets/instance.cert
|
application/octet-stream | root:root | 0o644 | 895 bytes |
/usr/share/acl2-7.1/books/std/osets/intersect.cert
|
application/octet-stream | root:root | 0o644 | 7.4 KB |
/usr/share/acl2-7.1/books/std/osets/map-tests.cert
|
application/octet-stream | root:root | 0o644 | 5.2 KB |
/usr/share/acl2-7.1/books/std/osets/map.cert
|
application/octet-stream | root:root | 0o644 | 4.4 KB |
/usr/share/acl2-7.1/books/std/osets/membership.cert
|
application/octet-stream | root:root | 0o644 | 35.7 KB |
/usr/share/acl2-7.1/books/std/osets/outer.cert
|
application/octet-stream | root:root | 0o644 | 2.2 KB |
/usr/share/acl2-7.1/books/std/osets/primitives.cert
|
application/octet-stream | root:root | 0o644 | 17.2 KB |
/usr/share/acl2-7.1/books/std/osets/quantify.cert
|
application/octet-stream | root:root | 0o644 | 4.3 KB |
/usr/share/acl2-7.1/books/std/osets/sort.cert
|
application/octet-stream | root:root | 0o644 | 11.7 KB |
/usr/share/acl2-7.1/books/std/osets/top.cert
|
application/octet-stream | root:root | 0o644 | 34.5 KB |
/usr/share/acl2-7.1/books/std/osets/under-set-equiv.cert
|
application/octet-stream | root:root | 0o644 | 3.7 KB |
/usr/share/acl2-7.1/books/std/osets/union.cert
|
application/octet-stream | root:root | 0o644 | 5.4 KB |
/usr/share/acl2-7.1/books/std/portcullis.cert
|
application/octet-stream | root:root | 0o644 | 6.2 KB |
/usr/share/acl2-7.1/books/std/strings/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/std/strings/abbrevs.cert
|
application/octet-stream | root:root | 0o644 | 26.9 KB |
/usr/share/acl2-7.1/books/std/strings/arithmetic.cert
|
application/octet-stream | root:root | 0o644 | 5.7 KB |
/usr/share/acl2-7.1/books/std/strings/base64.cert
|
application/octet-stream | root:root | 0o644 | 127.5 KB |
/usr/share/acl2-7.1/books/std/strings/binary.cert
|
application/octet-stream | root:root | 0o644 | 101.3 KB |
/usr/share/acl2-7.1/books/std/strings/case-conversion.cert
|
application/octet-stream | root:root | 0o644 | 73.0 KB |
/usr/share/acl2-7.1/books/std/strings/cat.cert
|
application/octet-stream | root:root | 0o644 | 36.3 KB |
/usr/share/acl2-7.1/books/std/strings/char-case.cert
|
application/octet-stream | root:root | 0o644 | 35.8 KB |
/usr/share/acl2-7.1/books/std/strings/char-fix.cert
|
application/octet-stream | root:root | 0o644 | 6.2 KB |
/usr/share/acl2-7.1/books/std/strings/charset-fns.cert
|
application/octet-stream | root:root | 0o644 | 27.8 KB |
/usr/share/acl2-7.1/books/std/strings/charset.cert
|
application/octet-stream | root:root | 0o644 | 41.1 KB |
/usr/share/acl2-7.1/books/std/strings/coerce.cert
|
application/octet-stream | root:root | 0o644 | 18.2 KB |
/usr/share/acl2-7.1/books/std/strings/decimal.cert
|
application/octet-stream | root:root | 0o644 | 110.3 KB |
/usr/share/acl2-7.1/books/std/strings/defs-aux.cert
|
application/octet-stream | root:root | 0o644 | 1.4 KB |
/usr/share/acl2-7.1/books/std/strings/defs-program.cert
|
application/octet-stream | root:root | 0o644 | 51.4 KB |
/usr/share/acl2-7.1/books/std/strings/defs.cert
|
application/octet-stream | root:root | 0o644 | 137.6 KB |
/usr/share/acl2-7.1/books/std/strings/eqv.cert
|
application/octet-stream | root:root | 0o644 | 22.7 KB |
/usr/share/acl2-7.1/books/std/strings/explode-atom.cert
|
application/octet-stream | root:root | 0o644 | 14.2 KB |
/usr/share/acl2-7.1/books/std/strings/explode-nonnegative-integer.cert
|
application/octet-stream | root:root | 0o644 | 14.1 KB |
/usr/share/acl2-7.1/books/std/strings/fast-cat.cert
|
application/octet-stream | root:root | 0o644 | 9.6 KB |
/usr/share/acl2-7.1/books/std/strings/firstn-chars.cert
|
application/octet-stream | root:root | 0o644 | 9.5 KB |
/usr/share/acl2-7.1/books/std/strings/hex.cert
|
application/octet-stream | root:root | 0o644 | 121.2 KB |
/usr/share/acl2-7.1/books/std/strings/hexify.cert
|
application/octet-stream | root:root | 0o644 | 19.9 KB |
/usr/share/acl2-7.1/books/std/strings/html-encode.cert
|
application/octet-stream | root:root | 0o644 | 43.9 KB |
/usr/share/acl2-7.1/books/std/strings/ieqv.cert
|
application/octet-stream | root:root | 0o644 | 23.6 KB |
/usr/share/acl2-7.1/books/std/strings/iless.cert
|
application/octet-stream | root:root | 0o644 | 18.1 KB |
/usr/share/acl2-7.1/books/std/strings/iprefixp.cert
|
application/octet-stream | root:root | 0o644 | 9.6 KB |
/usr/share/acl2-7.1/books/std/strings/isort.cert
|
application/octet-stream | root:root | 0o644 | 21.2 KB |
/usr/share/acl2-7.1/books/std/strings/istrpos.cert
|
application/octet-stream | root:root | 0o644 | 12.6 KB |
/usr/share/acl2-7.1/books/std/strings/istrprefixp.cert
|
application/octet-stream | root:root | 0o644 | 10.4 KB |
/usr/share/acl2-7.1/books/std/strings/isubstrp.cert
|
application/octet-stream | root:root | 0o644 | 14.5 KB |
/usr/share/acl2-7.1/books/std/strings/make-character-list.cert
|
application/octet-stream | root:root | 0o644 | 5.9 KB |
/usr/share/acl2-7.1/books/std/strings/octal.cert
|
application/octet-stream | root:root | 0o644 | 120.0 KB |
/usr/share/acl2-7.1/books/std/strings/pad.cert
|
application/octet-stream | root:root | 0o644 | 19.4 KB |
/usr/share/acl2-7.1/books/std/strings/prefix-lines.cert
|
application/octet-stream | root:root | 0o644 | 10.3 KB |
/usr/share/acl2-7.1/books/std/strings/pretty-defs-aux.cert
|
application/octet-stream | root:root | 0o644 | 1.5 KB |
/usr/share/acl2-7.1/books/std/strings/pretty-defs.cert
|
application/octet-stream | root:root | 0o644 | 100.1 KB |
/usr/share/acl2-7.1/books/std/strings/pretty-program.cert
|
application/octet-stream | root:root | 0o644 | 44.6 KB |
/usr/share/acl2-7.1/books/std/strings/pretty-tests.cert
|
application/octet-stream | root:root | 0o644 | 215.0 KB |
/usr/share/acl2-7.1/books/std/strings/pretty.cert
|
application/octet-stream | root:root | 0o644 | 523.2 KB |
/usr/share/acl2-7.1/books/std/strings/stringify.cert
|
application/octet-stream | root:root | 0o644 | 14.1 KB |
/usr/share/acl2-7.1/books/std/strings/strline.cert
|
application/octet-stream | root:root | 0o644 | 14.0 KB |
/usr/share/acl2-7.1/books/std/strings/strnatless.cert
|
application/octet-stream | root:root | 0o644 | 35.9 KB |
/usr/share/acl2-7.1/books/std/strings/strpos.cert
|
application/octet-stream | root:root | 0o644 | 11.8 KB |
/usr/share/acl2-7.1/books/std/strings/strprefixp.cert
|
application/octet-stream | root:root | 0o644 | 10.6 KB |
/usr/share/acl2-7.1/books/std/strings/strrpos.cert
|
application/octet-stream | root:root | 0o644 | 13.8 KB |
/usr/share/acl2-7.1/books/std/strings/strsplit.cert
|
application/octet-stream | root:root | 0o644 | 6.6 KB |
/usr/share/acl2-7.1/books/std/strings/strsubst.cert
|
application/octet-stream | root:root | 0o644 | 14.2 KB |
/usr/share/acl2-7.1/books/std/strings/strtok.cert
|
application/octet-stream | root:root | 0o644 | 11.5 KB |
/usr/share/acl2-7.1/books/std/strings/subseq.cert
|
application/octet-stream | root:root | 0o644 | 6.1 KB |
/usr/share/acl2-7.1/books/std/strings/substrp.cert
|
application/octet-stream | root:root | 0o644 | 9.0 KB |
/usr/share/acl2-7.1/books/std/strings/suffixp.cert
|
application/octet-stream | root:root | 0o644 | 10.3 KB |
/usr/share/acl2-7.1/books/std/strings/symbols.cert
|
application/octet-stream | root:root | 0o644 | 8.7 KB |
/usr/share/acl2-7.1/books/std/strings/top.cert
|
application/octet-stream | root:root | 0o644 | 37.8 KB |
/usr/share/acl2-7.1/books/std/system/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/std/system/non-parallel-book.cert
|
application/octet-stream | root:root | 0o644 | 4.3 KB |
/usr/share/acl2-7.1/books/std/system/top.cert
|
application/octet-stream | root:root | 0o644 | 9.5 KB |
/usr/share/acl2-7.1/books/std/top.cert
|
application/octet-stream | root:root | 0o644 | 42.6 KB |
/usr/share/acl2-7.1/books/std/typed-lists/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/std/typed-lists/acl2-number-listp.cert
|
application/octet-stream | root:root | 0o644 | 23.6 KB |
/usr/share/acl2-7.1/books/std/typed-lists/atom-listp.cert
|
application/octet-stream | root:root | 0o644 | 23.1 KB |
/usr/share/acl2-7.1/books/std/typed-lists/boolean-listp.cert
|
application/octet-stream | root:root | 0o644 | 23.4 KB |
/usr/share/acl2-7.1/books/std/typed-lists/character-listp.cert
|
application/octet-stream | root:root | 0o644 | 23.7 KB |
/usr/share/acl2-7.1/books/std/typed-lists/cons-listp.cert
|
application/octet-stream | root:root | 0o644 | 35.6 KB |
/usr/share/acl2-7.1/books/std/typed-lists/eqlable-listp.cert
|
application/octet-stream | root:root | 0o644 | 23.1 KB |
/usr/share/acl2-7.1/books/std/typed-lists/integer-listp.cert
|
application/octet-stream | root:root | 0o644 | 23.3 KB |
/usr/share/acl2-7.1/books/std/typed-lists/nat-listp.cert
|
application/octet-stream | root:root | 0o644 | 23.5 KB |
/usr/share/acl2-7.1/books/std/typed-lists/portcullis.cert
|
application/octet-stream | root:root | 0o644 | 660 bytes |
/usr/share/acl2-7.1/books/std/typed-lists/pseudo-term-listp.cert
|
application/octet-stream | root:root | 0o644 | 23.4 KB |
/usr/share/acl2-7.1/books/std/typed-lists/rational-listp.cert
|
application/octet-stream | root:root | 0o644 | 23.4 KB |
/usr/share/acl2-7.1/books/std/typed-lists/signed-byte-listp.cert
|
application/octet-stream | root:root | 0o644 | 2.7 KB |
/usr/share/acl2-7.1/books/std/typed-lists/string-listp.cert
|
application/octet-stream | root:root | 0o644 | 23.0 KB |
/usr/share/acl2-7.1/books/std/typed-lists/symbol-listp.cert
|
application/octet-stream | root:root | 0o644 | 23.3 KB |
/usr/share/acl2-7.1/books/std/typed-lists/top.cert
|
application/octet-stream | root:root | 0o644 | 16.4 KB |
/usr/share/acl2-7.1/books/std/typed-lists/unsigned-byte-listp.cert
|
application/octet-stream | root:root | 0o644 | 5.9 KB |
/usr/share/acl2-7.1/books/std/util/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/std/util/bstar.cert
|
application/octet-stream | root:root | 0o644 | 38.4 KB |
/usr/share/acl2-7.1/books/std/util/da-base.cert
|
application/octet-stream | root:root | 0o644 | 3.1 KB |
/usr/share/acl2-7.1/books/std/util/defaggregate.cert
|
application/octet-stream | root:root | 0o644 | 23.5 KB |
/usr/share/acl2-7.1/books/std/util/defaggrify-defrec.cert
|
application/octet-stream | root:root | 0o644 | 2.4 KB |
/usr/share/acl2-7.1/books/std/util/defalist-base.cert
|
application/octet-stream | root:root | 0o644 | 8.2 KB |
/usr/share/acl2-7.1/books/std/util/defalist.cert
|
application/octet-stream | root:root | 0o644 | 12.8 KB |
/usr/share/acl2-7.1/books/std/util/defconsts.cert
|
application/octet-stream | root:root | 0o644 | 18.9 KB |
/usr/share/acl2-7.1/books/std/util/defenum.cert
|
application/octet-stream | root:root | 0o644 | 9.7 KB |
/usr/share/acl2-7.1/books/std/util/define.cert
|
application/octet-stream | root:root | 0o644 | 29.2 KB |
/usr/share/acl2-7.1/books/std/util/defines.cert
|
application/octet-stream | root:root | 0o644 | 14.1 KB |
/usr/share/acl2-7.1/books/std/util/deflist-aux.cert
|
application/octet-stream | root:root | 0o644 | 4.3 KB |
/usr/share/acl2-7.1/books/std/util/deflist-base.cert
|
application/octet-stream | root:root | 0o644 | 13.2 KB |
/usr/share/acl2-7.1/books/std/util/deflist.cert
|
application/octet-stream | root:root | 0o644 | 24.1 KB |
/usr/share/acl2-7.1/books/std/util/defmapappend.cert
|
application/octet-stream | root:root | 0o644 | 8.5 KB |
/usr/share/acl2-7.1/books/std/util/defmvtypes.cert
|
application/octet-stream | root:root | 0o644 | 4.5 KB |
/usr/share/acl2-7.1/books/std/util/defprojection.cert
|
application/octet-stream | root:root | 0o644 | 11.4 KB |
/usr/share/acl2-7.1/books/std/util/defredundant.cert
|
application/octet-stream | root:root | 0o644 | 2.2 KB |
/usr/share/acl2-7.1/books/std/util/defrule.cert
|
application/octet-stream | root:root | 0o644 | 6.3 KB |
/usr/share/acl2-7.1/books/std/util/defsum.cert
|
application/octet-stream | root:root | 0o644 | 14.1 KB |
/usr/share/acl2-7.1/books/std/util/defval.cert
|
application/octet-stream | root:root | 0o644 | 5.5 KB |
/usr/share/acl2-7.1/books/std/util/extensions/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/std/util/extensions/assert-return-thms.cert
|
application/octet-stream | root:root | 0o644 | 15.6 KB |
/usr/share/acl2-7.1/books/std/util/formals.cert
|
application/octet-stream | root:root | 0o644 | 10.3 KB |
/usr/share/acl2-7.1/books/std/util/generate-symbol.cert
|
application/octet-stream | root:root | 0o644 | 641 bytes |
/usr/share/acl2-7.1/books/std/util/look-up.cert
|
application/octet-stream | root:root | 0o644 | 9.9 KB |
/usr/share/acl2-7.1/books/std/util/maybe-defthm.cert
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/share/acl2-7.1/books/std/util/returnspecs.cert
|
application/octet-stream | root:root | 0o644 | 13.4 KB |
/usr/share/acl2-7.1/books/std/util/support.cert
|
application/octet-stream | root:root | 0o644 | 13.6 KB |
/usr/share/acl2-7.1/books/std/util/tests/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/std/util/tests/bstar.cert
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/share/acl2-7.1/books/std/util/tests/defaggregate.cert
|
application/octet-stream | root:root | 0o644 | 135.8 KB |
/usr/share/acl2-7.1/books/std/util/tests/defaggrify-defrec.cert
|
application/octet-stream | root:root | 0o644 | 11.0 KB |
/usr/share/acl2-7.1/books/std/util/tests/defalist.cert
|
application/octet-stream | root:root | 0o644 | 17.0 KB |
/usr/share/acl2-7.1/books/std/util/tests/define.cert
|
application/octet-stream | root:root | 0o644 | 94.9 KB |
/usr/share/acl2-7.1/books/std/util/tests/defines.cert
|
application/octet-stream | root:root | 0o644 | 77.5 KB |
/usr/share/acl2-7.1/books/std/util/tests/deflist.cert
|
application/octet-stream | root:root | 0o644 | 418.1 KB |
/usr/share/acl2-7.1/books/std/util/tests/defmapappend.cert
|
application/octet-stream | root:root | 0o644 | 48.1 KB |
/usr/share/acl2-7.1/books/std/util/tests/defprojection.cert
|
application/octet-stream | root:root | 0o644 | 208.1 KB |
/usr/share/acl2-7.1/books/std/util/tests/defredundant.cert
|
application/octet-stream | root:root | 0o644 | 7.1 KB |
/usr/share/acl2-7.1/books/std/util/tests/defval.cert
|
application/octet-stream | root:root | 0o644 | 13.8 KB |
/usr/share/acl2-7.1/books/std/util/tests/top.cert
|
application/octet-stream | root:root | 0o644 | 2.4 KB |
/usr/share/acl2-7.1/books/std/util/top.cert
|
application/octet-stream | root:root | 0o644 | 20.4 KB |
/usr/share/acl2-7.1/books/std/util/wizard.cert
|
application/octet-stream | root:root | 0o644 | 39.6 KB |