/usr/share/acl2-7.1/books/std/util/ 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/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 |