/usr/share/acl2-7.1/books/coi/ 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/coi/adviser/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/coi/adviser/adviser-pkg.cert
|
application/octet-stream | root:root | 0o644 | 707 bytes |
/usr/share/acl2-7.1/books/coi/adviser/adviser.cert
|
application/octet-stream | root:root | 0o644 | 14.6 KB |
/usr/share/acl2-7.1/books/coi/adviser/test.cert
|
application/octet-stream | root:root | 0o644 | 5.4 KB |
/usr/share/acl2-7.1/books/coi/alists/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/coi/alists/alist-pkg.cert
|
application/octet-stream | root:root | 0o644 | 2.3 KB |
/usr/share/acl2-7.1/books/coi/alists/bindequiv.cert
|
application/octet-stream | root:root | 0o644 | 22.3 KB |
/usr/share/acl2-7.1/books/coi/alists/clearkey.cert
|
application/octet-stream | root:root | 0o644 | 9.3 KB |
/usr/share/acl2-7.1/books/coi/alists/deshadow.cert
|
application/octet-stream | root:root | 0o644 | 9.7 KB |
/usr/share/acl2-7.1/books/coi/alists/equiv.cert
|
application/octet-stream | root:root | 0o644 | 8.6 KB |
/usr/share/acl2-7.1/books/coi/alists/keyquiv.cert
|
application/octet-stream | root:root | 0o644 | 10.1 KB |
/usr/share/acl2-7.1/books/coi/alists/preimage.cert
|
application/octet-stream | root:root | 0o644 | 9.8 KB |
/usr/share/acl2-7.1/books/coi/alists/strip.cert
|
application/octet-stream | root:root | 0o644 | 8.9 KB |
/usr/share/acl2-7.1/books/coi/alists/subkeyquiv.cert
|
application/octet-stream | root:root | 0o644 | 10.6 KB |
/usr/share/acl2-7.1/books/coi/alists/top.cert
|
application/octet-stream | root:root | 0o644 | 9.9 KB |
/usr/share/acl2-7.1/books/coi/bags/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/coi/bags/basic.cert
|
application/octet-stream | root:root | 0o644 | 9.0 KB |
/usr/share/acl2-7.1/books/coi/bags/bind-free-rules.cert
|
application/octet-stream | root:root | 0o644 | 10.5 KB |
/usr/share/acl2-7.1/books/coi/bags/cons.cert
|
application/octet-stream | root:root | 0o644 | 2.7 KB |
/usr/share/acl2-7.1/books/coi/bags/eric-meta.cert
|
application/octet-stream | root:root | 0o644 | 20.3 KB |
/usr/share/acl2-7.1/books/coi/bags/extras.cert
|
application/octet-stream | root:root | 0o644 | 9.3 KB |
/usr/share/acl2-7.1/books/coi/bags/meta.cert
|
application/octet-stream | root:root | 0o644 | 10.4 KB |
/usr/share/acl2-7.1/books/coi/bags/neq.cert
|
application/octet-stream | root:root | 0o644 | 10.6 KB |
/usr/share/acl2-7.1/books/coi/bags/pick-a-point.cert
|
application/octet-stream | root:root | 0o644 | 9.1 KB |
/usr/share/acl2-7.1/books/coi/bags/top.cert
|
application/octet-stream | root:root | 0o644 | 20.5 KB |
/usr/share/acl2-7.1/books/coi/bags/two-level-meta.cert
|
application/octet-stream | root:root | 0o644 | 10.7 KB |
/usr/share/acl2-7.1/books/coi/bags/two-level.cert
|
application/octet-stream | root:root | 0o644 | 10.6 KB |
/usr/share/acl2-7.1/books/coi/defpun/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/coi/defpun/ack.cert
|
application/octet-stream | root:root | 0o644 | 4.2 KB |
/usr/share/acl2-7.1/books/coi/defpun/defminterm.cert
|
application/octet-stream | root:root | 0o644 | 4.1 KB |
/usr/share/acl2-7.1/books/coi/defpun/defpun.cert
|
application/octet-stream | root:root | 0o644 | 366 bytes |
/usr/share/acl2-7.1/books/coi/defpun/defxch.cert
|
application/octet-stream | root:root | 0o644 | 3.9 KB |
/usr/share/acl2-7.1/books/coi/defstructure/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/coi/defstructure/defstructure-pkg.cert
|
application/octet-stream | root:root | 0o644 | 4.2 KB |
/usr/share/acl2-7.1/books/coi/defstructure/defstructure.cert
|
application/octet-stream | root:root | 0o644 | 34.9 KB |
/usr/share/acl2-7.1/books/coi/defung/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/coi/defung/ack-variants.cert
|
application/octet-stream | root:root | 0o644 | 72.0 KB |
/usr/share/acl2-7.1/books/coi/defung/defung-stress.cert
|
application/octet-stream | root:root | 0o644 | 32.7 KB |
/usr/share/acl2-7.1/books/coi/defung/defung-test.cert
|
application/octet-stream | root:root | 0o644 | 306.2 KB |
/usr/share/acl2-7.1/books/coi/defung/defung.cert
|
application/octet-stream | root:root | 0o644 | 41.4 KB |
/usr/share/acl2-7.1/books/coi/defung/fractran.cert
|
application/octet-stream | root:root | 0o644 | 39.8 KB |
/usr/share/acl2-7.1/books/coi/defung/map-ec-call.cert
|
application/octet-stream | root:root | 0o644 | 1.3 KB |
/usr/share/acl2-7.1/books/coi/defung/monadic.cert
|
application/octet-stream | root:root | 0o644 | 37.0 KB |
/usr/share/acl2-7.1/books/coi/defung/phony-induction.cert
|
application/octet-stream | root:root | 0o644 | 26.8 KB |
/usr/share/acl2-7.1/books/coi/defung/rev3.cert
|
application/octet-stream | root:root | 0o644 | 43.8 KB |
/usr/share/acl2-7.1/books/coi/defung/split.cert
|
application/octet-stream | root:root | 0o644 | 6.3 KB |
/usr/share/acl2-7.1/books/coi/dtrees/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/coi/dtrees/base.cert
|
application/octet-stream | root:root | 0o644 | 17.2 KB |
/usr/share/acl2-7.1/books/coi/dtrees/child.cert
|
application/octet-stream | root:root | 0o644 | 18.9 KB |
/usr/share/acl2-7.1/books/coi/dtrees/deps.cert
|
application/octet-stream | root:root | 0o644 | 17.3 KB |
/usr/share/acl2-7.1/books/coi/dtrees/dtree-examples.cert
|
application/octet-stream | root:root | 0o644 | 19.2 KB |
/usr/share/acl2-7.1/books/coi/dtrees/equiv.cert
|
application/octet-stream | root:root | 0o644 | 17.4 KB |
/usr/share/acl2-7.1/books/coi/dtrees/erase.cert
|
application/octet-stream | root:root | 0o644 | 18.8 KB |
/usr/share/acl2-7.1/books/coi/dtrees/leafp.cert
|
application/octet-stream | root:root | 0o644 | 18.7 KB |
/usr/share/acl2-7.1/books/coi/dtrees/raw.cert
|
application/octet-stream | root:root | 0o644 | 17.4 KB |
/usr/share/acl2-7.1/books/coi/dtrees/royalp.cert
|
application/octet-stream | root:root | 0o644 | 18.7 KB |
/usr/share/acl2-7.1/books/coi/dtrees/set.cert
|
application/octet-stream | root:root | 0o644 | 18.7 KB |
/usr/share/acl2-7.1/books/coi/dtrees/top.cert
|
application/octet-stream | root:root | 0o644 | 19.1 KB |
/usr/share/acl2-7.1/books/coi/gacc/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/coi/gacc/abstract-gacc.cert
|
application/octet-stream | root:root | 0o644 | 99.8 KB |
/usr/share/acl2-7.1/books/coi/gacc/addr-range.cert
|
application/octet-stream | root:root | 0o644 | 99.1 KB |
/usr/share/acl2-7.1/books/coi/gacc/bits.cert
|
application/octet-stream | root:root | 0o644 | 111.8 KB |
/usr/share/acl2-7.1/books/coi/gacc/block.cert
|
application/octet-stream | root:root | 0o644 | 98.9 KB |
/usr/share/acl2-7.1/books/coi/gacc/finite.cert
|
application/octet-stream | root:root | 0o644 | 130.5 KB |
/usr/share/acl2-7.1/books/coi/gacc/fr-path-connection.cert
|
application/octet-stream | root:root | 0o644 | 127.3 KB |
/usr/share/acl2-7.1/books/coi/gacc/gacc-exports.cert
|
application/octet-stream | root:root | 0o644 | 92.3 KB |
/usr/share/acl2-7.1/books/coi/gacc/gacc-pkg.cert
|
application/octet-stream | root:root | 0o644 | 92.3 KB |
/usr/share/acl2-7.1/books/coi/gacc/gacc.cert
|
application/octet-stream | root:root | 0o644 | 127.0 KB |
/usr/share/acl2-7.1/books/coi/gacc/gacc2.cert
|
application/octet-stream | root:root | 0o644 | 131.2 KB |
/usr/share/acl2-7.1/books/coi/gacc/gacc3.cert
|
application/octet-stream | root:root | 0o644 | 130.6 KB |
/usr/share/acl2-7.1/books/coi/gacc/gax.cert
|
application/octet-stream | root:root | 0o644 | 130.4 KB |
/usr/share/acl2-7.1/books/coi/gacc/list-ops-common.cert
|
application/octet-stream | root:root | 0o644 | 114.8 KB |
/usr/share/acl2-7.1/books/coi/gacc/list-ops-fast.cert
|
application/octet-stream | root:root | 0o644 | 120.9 KB |
/usr/share/acl2-7.1/books/coi/gacc/list-ops.cert
|
application/octet-stream | root:root | 0o644 | 116.4 KB |
/usr/share/acl2-7.1/books/coi/gacc/mem-fast.cert
|
application/octet-stream | root:root | 0o644 | 117.7 KB |
/usr/share/acl2-7.1/books/coi/gacc/mem.cert
|
application/octet-stream | root:root | 0o644 | 113.2 KB |
/usr/share/acl2-7.1/books/coi/gacc/ram.cert
|
application/octet-stream | root:root | 0o644 | 117.7 KB |
/usr/share/acl2-7.1/books/coi/gacc/ram0.cert
|
application/octet-stream | root:root | 0o644 | 114.3 KB |
/usr/share/acl2-7.1/books/coi/gacc/ram2.cert
|
application/octet-stream | root:root | 0o644 | 121.2 KB |
/usr/share/acl2-7.1/books/coi/gacc/ram2b.cert
|
application/octet-stream | root:root | 0o644 | 121.5 KB |
/usr/share/acl2-7.1/books/coi/gacc/ram3.cert
|
application/octet-stream | root:root | 0o644 | 121.4 KB |
/usr/share/acl2-7.1/books/coi/gacc/top.cert
|
application/octet-stream | root:root | 0o644 | 130.8 KB |
/usr/share/acl2-7.1/books/coi/gacc/tr-path-connection.cert
|
application/octet-stream | root:root | 0o644 | 121.6 KB |
/usr/share/acl2-7.1/books/coi/gacc/wrap.cert
|
application/octet-stream | root:root | 0o644 | 114.6 KB |
/usr/share/acl2-7.1/books/coi/generalize/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/coi/generalize/generalize.cert
|
application/octet-stream | root:root | 0o644 | 28.9 KB |
/usr/share/acl2-7.1/books/coi/gensym/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/coi/gensym/gensym-list.cert
|
application/octet-stream | root:root | 0o644 | 26.2 KB |
/usr/share/acl2-7.1/books/coi/gensym/gensym.cert
|
application/octet-stream | root:root | 0o644 | 25.9 KB |
/usr/share/acl2-7.1/books/coi/lists/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/coi/lists/acl2-count.cert
|
application/octet-stream | root:root | 0o644 | 1.3 KB |
/usr/share/acl2-7.1/books/coi/lists/basic.cert
|
application/octet-stream | root:root | 0o644 | 7.5 KB |
/usr/share/acl2-7.1/books/coi/lists/disjoint.cert
|
application/octet-stream | root:root | 0o644 | 7.8 KB |
/usr/share/acl2-7.1/books/coi/lists/find-index.cert
|
application/octet-stream | root:root | 0o644 | 7.8 KB |
/usr/share/acl2-7.1/books/coi/lists/list-top.cert
|
application/octet-stream | root:root | 0o644 | 8.0 KB |
/usr/share/acl2-7.1/books/coi/lists/listset-induction.cert
|
application/octet-stream | root:root | 0o644 | 8.3 KB |
/usr/share/acl2-7.1/books/coi/lists/map-cons.cert
|
application/octet-stream | root:root | 0o644 | 7.6 KB |
/usr/share/acl2-7.1/books/coi/lists/memberp.cert
|
application/octet-stream | root:root | 0o644 | 7.6 KB |
/usr/share/acl2-7.1/books/coi/lists/mixed.cert
|
application/octet-stream | root:root | 0o644 | 7.7 KB |
/usr/share/acl2-7.1/books/coi/lists/mv-nth.cert
|
application/octet-stream | root:root | 0o644 | 1.3 KB |
/usr/share/acl2-7.1/books/coi/lists/nth-and-update-nth.cert
|
application/octet-stream | root:root | 0o644 | 7.7 KB |
/usr/share/acl2-7.1/books/coi/lists/nth-meta.cert
|
application/octet-stream | root:root | 0o644 | 4.5 KB |
/usr/share/acl2-7.1/books/coi/lists/nth-meta2.cert
|
application/octet-stream | root:root | 0o644 | 4.5 KB |
/usr/share/acl2-7.1/books/coi/lists/remove-induction.cert
|
application/octet-stream | root:root | 0o644 | 7.9 KB |
/usr/share/acl2-7.1/books/coi/lists/remove.cert
|
application/octet-stream | root:root | 0o644 | 7.8 KB |
/usr/share/acl2-7.1/books/coi/lists/repeat.cert
|
application/octet-stream | root:root | 0o644 | 7.5 KB |
/usr/share/acl2-7.1/books/coi/lists/set.cert
|
application/octet-stream | root:root | 0o644 | 8.2 KB |
/usr/share/acl2-7.1/books/coi/lists/subsetp.cert
|
application/octet-stream | root:root | 0o644 | 7.7 KB |
/usr/share/acl2-7.1/books/coi/lists/update-nth-array.cert
|
application/octet-stream | root:root | 0o644 | 7.8 KB |
/usr/share/acl2-7.1/books/coi/maps/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/coi/maps/aliases.cert
|
application/octet-stream | root:root | 0o644 | 11.7 KB |
/usr/share/acl2-7.1/books/coi/maps/maps.cert
|
application/octet-stream | root:root | 0o644 | 11.6 KB |
/usr/share/acl2-7.1/books/coi/maps/typed-maps.cert
|
application/octet-stream | root:root | 0o644 | 11.7 KB |
/usr/share/acl2-7.1/books/coi/nary/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/coi/nary/example.cert
|
application/octet-stream | root:root | 0o644 | 6.0 KB |
/usr/share/acl2-7.1/books/coi/nary/example2.cert
|
application/octet-stream | root:root | 0o644 | 1.0 KB |
/usr/share/acl2-7.1/books/coi/nary/nary.cert
|
application/octet-stream | root:root | 0o644 | 608 bytes |
/usr/share/acl2-7.1/books/coi/nary/nth-rules.cert
|
application/octet-stream | root:root | 0o644 | 374 bytes |
/usr/share/acl2-7.1/books/coi/nary/ordinal-order.cert
|
application/octet-stream | root:root | 0o644 | 4.5 KB |
/usr/share/acl2-7.1/books/coi/nary/rewrite-equal-hint.cert
|
application/octet-stream | root:root | 0o644 | 401 bytes |
/usr/share/acl2-7.1/books/coi/nary/skip-rewrite.cert
|
application/octet-stream | root:root | 0o644 | 2.9 KB |
/usr/share/acl2-7.1/books/coi/osets/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/coi/osets/conversions.cert
|
application/octet-stream | root:root | 0o644 | 12.0 KB |
/usr/share/acl2-7.1/books/coi/osets/extras.cert
|
application/octet-stream | root:root | 0o644 | 12.2 KB |
/usr/share/acl2-7.1/books/coi/osets/fast.cert
|
application/octet-stream | root:root | 0o644 | 3.2 KB |
/usr/share/acl2-7.1/books/coi/osets/listsets.cert
|
application/octet-stream | root:root | 0o644 | 13.2 KB |
/usr/share/acl2-7.1/books/coi/osets/map.cert
|
application/octet-stream | root:root | 0o644 | 6.7 KB |
/usr/share/acl2-7.1/books/coi/osets/membership.cert
|
application/octet-stream | root:root | 0o644 | 2.7 KB |
/usr/share/acl2-7.1/books/coi/osets/multiappend.cert
|
application/octet-stream | root:root | 0o644 | 13.4 KB |
/usr/share/acl2-7.1/books/coi/osets/multicons.cert
|
application/octet-stream | root:root | 0o644 | 13.3 KB |
/usr/share/acl2-7.1/books/coi/osets/outer.cert
|
application/octet-stream | root:root | 0o644 | 3.5 KB |
/usr/share/acl2-7.1/books/coi/osets/primitives.cert
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/share/acl2-7.1/books/coi/osets/quantify.cert
|
application/octet-stream | root:root | 0o644 | 6.4 KB |
/usr/share/acl2-7.1/books/coi/osets/set-order.cert
|
application/octet-stream | root:root | 0o644 | 6.3 KB |
/usr/share/acl2-7.1/books/coi/osets/set-processor.cert
|
application/octet-stream | root:root | 0o644 | 6.3 KB |
/usr/share/acl2-7.1/books/coi/osets/sets.cert
|
application/octet-stream | root:root | 0o644 | 6.2 KB |
/usr/share/acl2-7.1/books/coi/osets/sort.cert
|
application/octet-stream | root:root | 0o644 | 4.6 KB |
/usr/share/acl2-7.1/books/coi/paths/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/coi/paths/compatibility.cert
|
application/octet-stream | root:root | 0o644 | 11.2 KB |
/usr/share/acl2-7.1/books/coi/paths/cp-set.cert
|
application/octet-stream | root:root | 0o644 | 30.3 KB |
/usr/share/acl2-7.1/books/coi/paths/defs.cert
|
application/octet-stream | root:root | 0o644 | 9.9 KB |
/usr/share/acl2-7.1/books/coi/paths/diverge.cert
|
application/octet-stream | root:root | 0o644 | 10.6 KB |
/usr/share/acl2-7.1/books/coi/paths/dominates.cert
|
application/octet-stream | root:root | 0o644 | 10.5 KB |
/usr/share/acl2-7.1/books/coi/paths/equiv.cert
|
application/octet-stream | root:root | 0o644 | 25.5 KB |
/usr/share/acl2-7.1/books/coi/paths/hints.cert
|
application/octet-stream | root:root | 0o644 | 25.8 KB |
/usr/share/acl2-7.1/books/coi/paths/list-path-connection.cert
|
application/octet-stream | root:root | 0o644 | 25.6 KB |
/usr/share/acl2-7.1/books/coi/paths/meta.cert
|
application/octet-stream | root:root | 0o644 | 25.6 KB |
/usr/share/acl2-7.1/books/coi/paths/path.cert
|
application/octet-stream | root:root | 0o644 | 25.3 KB |
/usr/share/acl2-7.1/books/coi/paths/pm.cert
|
application/octet-stream | root:root | 0o644 | 25.7 KB |
/usr/share/acl2-7.1/books/coi/quantification/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/coi/quantification/quantification.cert
|
application/octet-stream | root:root | 0o644 | 29.3 KB |
/usr/share/acl2-7.1/books/coi/records/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/coi/records/defarray.cert
|
application/octet-stream | root:root | 0o644 | 9.8 KB |
/usr/share/acl2-7.1/books/coi/records/defrecord-fast.cert
|
application/octet-stream | root:root | 0o644 | 14.2 KB |
/usr/share/acl2-7.1/books/coi/records/defrecord.cert
|
application/octet-stream | root:root | 0o644 | 9.8 KB |
/usr/share/acl2-7.1/books/coi/records/domain.cert
|
application/octet-stream | root:root | 0o644 | 11.7 KB |
/usr/share/acl2-7.1/books/coi/records/fast/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/coi/records/fast/log2.cert
|
application/octet-stream | root:root | 0o644 | 4.4 KB |
/usr/share/acl2-7.1/books/coi/records/fast/memory-impl.cert
|
application/octet-stream | root:root | 0o644 | 5.4 KB |
/usr/share/acl2-7.1/books/coi/records/fast/memory.cert
|
application/octet-stream | root:root | 0o644 | 11.5 KB |
/usr/share/acl2-7.1/books/coi/records/fast/memtree.cert
|
application/octet-stream | root:root | 0o644 | 4.4 KB |
/usr/share/acl2-7.1/books/coi/records/fast/private.cert
|
application/octet-stream | root:root | 0o644 | 3.0 KB |
/usr/share/acl2-7.1/books/coi/records/fixedpoint.cert
|
application/octet-stream | root:root | 0o644 | 14.4 KB |
/usr/share/acl2-7.1/books/coi/records/mem-domain.cert
|
application/octet-stream | root:root | 0o644 | 30.6 KB |
/usr/share/acl2-7.1/books/coi/records/memory.cert
|
application/octet-stream | root:root | 0o644 | 7.9 KB |
/usr/share/acl2-7.1/books/coi/records/record-exports.cert
|
application/octet-stream | root:root | 0o644 | 3.1 KB |
/usr/share/acl2-7.1/books/coi/records/records.cert
|
application/octet-stream | root:root | 0o644 | 9.7 KB |
/usr/share/acl2-7.1/books/coi/records/set-domain.cert
|
application/octet-stream | root:root | 0o644 | 15.7 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/coi/super-ihs/arithmetic.cert
|
application/octet-stream | root:root | 0o644 | 17.4 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/ash.cert
|
application/octet-stream | root:root | 0o644 | 17.7 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/basics.cert
|
application/octet-stream | root:root | 0o644 | 18.9 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/bit-functions.cert
|
application/octet-stream | root:root | 0o644 | 17.5 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/bit-twiddling-logops.cert
|
application/octet-stream | root:root | 0o644 | 19.6 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/byte-p.cert
|
application/octet-stream | root:root | 0o644 | 19.2 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/c-functions.cert
|
application/octet-stream | root:root | 0o644 | 19.8 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/carry.cert
|
application/octet-stream | root:root | 0o644 | 20.2 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/eric.cert
|
application/octet-stream | root:root | 0o644 | 14.7 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/evenp.cert
|
application/octet-stream | root:root | 0o644 | 17.8 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/fast.cert
|
application/octet-stream | root:root | 0o644 | 20.2 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/from-rtl.cert
|
application/octet-stream | root:root | 0o644 | 16.7 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/hacks.cert
|
application/octet-stream | root:root | 0o644 | 19.7 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/inductions.cert
|
application/octet-stream | root:root | 0o644 | 17.6 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/iter-sqrt.cert
|
application/octet-stream | root:root | 0o644 | 17.5 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/logapp.cert
|
application/octet-stream | root:root | 0o644 | 17.5 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/logbit.cert
|
application/octet-stream | root:root | 0o644 | 17.5 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/logbitp.cert
|
application/octet-stream | root:root | 0o644 | 17.5 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/logcar.cert
|
application/octet-stream | root:root | 0o644 | 17.7 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/logcdr.cert
|
application/octet-stream | root:root | 0o644 | 17.9 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/logcons.cert
|
application/octet-stream | root:root | 0o644 | 17.7 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/logext.cert
|
application/octet-stream | root:root | 0o644 | 18.7 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/loghead.cert
|
application/octet-stream | root:root | 0o644 | 18.4 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/logical-logops.cert
|
application/octet-stream | root:root | 0o644 | 19.4 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/logior-logapp-crock.cert
|
application/octet-stream | root:root | 0o644 | 4.1 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/loglist.cert
|
application/octet-stream | root:root | 0o644 | 19.3 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/logpair.cert
|
application/octet-stream | root:root | 0o644 | 19.2 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/logtail.cert
|
application/octet-stream | root:root | 0o644 | 17.8 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/lshu.cert
|
application/octet-stream | root:root | 0o644 | 19.7 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/meta.cert
|
application/octet-stream | root:root | 0o644 | 22.0 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/min-max.cert
|
application/octet-stream | root:root | 0o644 | 373 bytes |
/usr/share/acl2-7.1/books/coi/super-ihs/plus-logapp-suck.cert
|
application/octet-stream | root:root | 0o644 | 9.3 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/signed-byte-p-overflow.cert
|
application/octet-stream | root:root | 0o644 | 9.3 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/super-ihs.cert
|
application/octet-stream | root:root | 0o644 | 20.1 KB |
/usr/share/acl2-7.1/books/coi/super-ihs/unsigned-byte-p.cert
|
application/octet-stream | root:root | 0o644 | 17.5 KB |
/usr/share/acl2-7.1/books/coi/symbol-fns/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/coi/symbol-fns/symbol-fns-exports.cert
|
application/octet-stream | root:root | 0o644 | 532 bytes |
/usr/share/acl2-7.1/books/coi/symbol-fns/symbol-fns.cert
|
application/octet-stream | root:root | 0o644 | 508 bytes |
/usr/share/acl2-7.1/books/coi/syntax/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/coi/syntax/auxilary.cert
|
application/octet-stream | root:root | 0o644 | 869 bytes |
/usr/share/acl2-7.1/books/coi/syntax/defbinding.cert
|
application/octet-stream | root:root | 0o644 | 876 bytes |
/usr/share/acl2-7.1/books/coi/syntax/defevaluator.cert
|
application/octet-stream | root:root | 0o644 | 786 bytes |
/usr/share/acl2-7.1/books/coi/syntax/quine.cert
|
application/octet-stream | root:root | 0o644 | 1.3 KB |
/usr/share/acl2-7.1/books/coi/syntax/syn-pkg.cert
|
application/octet-stream | root:root | 0o644 | 771 bytes |
/usr/share/acl2-7.1/books/coi/syntax/syntax-extensions.cert
|
application/octet-stream | root:root | 0o644 | 1.1 KB |
/usr/share/acl2-7.1/books/coi/syntax/syntax.cert
|
application/octet-stream | root:root | 0o644 | 1.2 KB |
/usr/share/acl2-7.1/books/coi/termination/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/coi/termination/assuming/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/coi/termination/assuming/compiler-proof.cert
|
application/octet-stream | root:root | 0o644 | 6.5 KB |
/usr/share/acl2-7.1/books/coi/termination/assuming/compiler.cert
|
application/octet-stream | root:root | 0o644 | 42.0 KB |
/usr/share/acl2-7.1/books/coi/termination/assuming/zero.cert
|
application/octet-stream | root:root | 0o644 | 21.8 KB |
/usr/share/acl2-7.1/books/coi/util/
|
root:root | 0o755 | ||
/usr/share/acl2-7.1/books/coi/util/clause-processor.cert
|
application/octet-stream | root:root | 0o644 | 3.0 KB |
/usr/share/acl2-7.1/books/coi/util/debug.cert
|
application/octet-stream | root:root | 0o644 | 3.0 KB |
/usr/share/acl2-7.1/books/coi/util/defbinding.cert
|
application/octet-stream | root:root | 0o644 | 420 bytes |
/usr/share/acl2-7.1/books/coi/util/defdoc.cert
|
application/octet-stream | root:root | 0o644 | 1.9 KB |
/usr/share/acl2-7.1/books/coi/util/deffix.cert
|
application/octet-stream | root:root | 0o644 | 628 bytes |
/usr/share/acl2-7.1/books/coi/util/defsubtype.cert
|
application/octet-stream | root:root | 0o644 | 3.1 KB |
/usr/share/acl2-7.1/books/coi/util/defun-support.cert
|
application/octet-stream | root:root | 0o644 | 1.7 KB |
/usr/share/acl2-7.1/books/coi/util/defun.cert
|
application/octet-stream | root:root | 0o644 | 3.2 KB |
/usr/share/acl2-7.1/books/coi/util/extra-info-test.cert
|
application/octet-stream | root:root | 0o644 | 922 bytes |
/usr/share/acl2-7.1/books/coi/util/extra-info.cert
|
application/octet-stream | root:root | 0o644 | 462 bytes |
/usr/share/acl2-7.1/books/coi/util/fixequiv.cert
|
application/octet-stream | root:root | 0o644 | 371 bytes |
/usr/share/acl2-7.1/books/coi/util/good-rewrite-order.cert
|
application/octet-stream | root:root | 0o644 | 1.1 KB |
/usr/share/acl2-7.1/books/coi/util/ifdef.cert
|
application/octet-stream | root:root | 0o644 | 4.2 KB |
/usr/share/acl2-7.1/books/coi/util/iff.cert
|
application/octet-stream | root:root | 0o644 | 356 bytes |
/usr/share/acl2-7.1/books/coi/util/ifixequiv.cert
|
application/octet-stream | root:root | 0o644 | 444 bytes |
/usr/share/acl2-7.1/books/coi/util/implies.cert
|
application/octet-stream | root:root | 0o644 | 453 bytes |
/usr/share/acl2-7.1/books/coi/util/in-conclusion.cert
|
application/octet-stream | root:root | 0o644 | 386 bytes |
/usr/share/acl2-7.1/books/coi/util/ith.cert
|
application/octet-stream | root:root | 0o644 | 356 bytes |
/usr/share/acl2-7.1/books/coi/util/mv-nth.cert
|
application/octet-stream | root:root | 0o644 | 411 bytes |
/usr/share/acl2-7.1/books/coi/util/nfixequiv.cert
|
application/octet-stream | root:root | 0o644 | 517 bytes |
/usr/share/acl2-7.1/books/coi/util/ordinal-order.cert
|
application/octet-stream | root:root | 0o644 | 4.5 KB |
/usr/share/acl2-7.1/books/coi/util/pseudo-translate.cert
|
application/octet-stream | root:root | 0o644 | 395 bytes |
/usr/share/acl2-7.1/books/coi/util/recursion-support.cert
|
application/octet-stream | root:root | 0o644 | 1.8 KB |
/usr/share/acl2-7.1/books/coi/util/rewrite-equiv.cert
|
application/octet-stream | root:root | 0o644 | 3.9 KB |
/usr/share/acl2-7.1/books/coi/util/rule-sets-documentation.cert
|
application/octet-stream | root:root | 0o644 | 3.7 KB |
/usr/share/acl2-7.1/books/coi/util/rule-sets-support.cert
|
application/octet-stream | root:root | 0o644 | 581 bytes |
/usr/share/acl2-7.1/books/coi/util/rule-sets.cert
|
application/octet-stream | root:root | 0o644 | 2.5 KB |
/usr/share/acl2-7.1/books/coi/util/skip-rewrite.cert
|
application/octet-stream | root:root | 0o644 | 3.0 KB |
/usr/share/acl2-7.1/books/coi/util/syntaxp.cert
|
application/octet-stream | root:root | 0o644 | 367 bytes |
/usr/share/acl2-7.1/books/coi/util/table.cert
|
application/octet-stream | root:root | 0o644 | 422 bytes |