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

This file is indexed.

/usr/share/acl2-6.3/books/coi/ 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/coi/adviser/ root:root 0o755
/usr/share/acl2-6.3/books/coi/adviser/adviser-pkg.cert text/plain root:root 0o644 496 bytes
/usr/share/acl2-6.3/books/coi/adviser/adviser.cert text/plain root:root 0o644 4.4 KB
/usr/share/acl2-6.3/books/coi/adviser/test.cert text/plain root:root 0o644 4.5 KB
/usr/share/acl2-6.3/books/coi/alists/ root:root 0o755
/usr/share/acl2-6.3/books/coi/alists/alist-pkg.cert text/plain root:root 0o644 1.8 KB
/usr/share/acl2-6.3/books/coi/alists/bindequiv.cert text/plain root:root 0o644 24.6 KB
/usr/share/acl2-6.3/books/coi/alists/clearkey.cert text/plain root:root 0o644 8.8 KB
/usr/share/acl2-6.3/books/coi/alists/deshadow.cert text/plain root:root 0o644 9.3 KB
/usr/share/acl2-6.3/books/coi/alists/equiv.cert text/plain root:root 0o644 7.7 KB
/usr/share/acl2-6.3/books/coi/alists/keyquiv.cert text/plain root:root 0o644 9.7 KB
/usr/share/acl2-6.3/books/coi/alists/preimage.cert text/plain root:root 0o644 9.4 KB
/usr/share/acl2-6.3/books/coi/alists/strip.cert text/plain root:root 0o644 8.1 KB
/usr/share/acl2-6.3/books/coi/alists/subkeyquiv.cert text/plain root:root 0o644 10.4 KB
/usr/share/acl2-6.3/books/coi/alists/top.cert text/plain root:root 0o644 9.5 KB
/usr/share/acl2-6.3/books/coi/bags/ root:root 0o755
/usr/share/acl2-6.3/books/coi/bags/basic.cert text/plain root:root 0o644 9.4 KB
/usr/share/acl2-6.3/books/coi/bags/bind-free-rules.cert text/plain root:root 0o644 11.7 KB
/usr/share/acl2-6.3/books/coi/bags/cons.cert text/plain root:root 0o644 2.5 KB
/usr/share/acl2-6.3/books/coi/bags/eric-meta.cert text/plain root:root 0o644 34.3 KB
/usr/share/acl2-6.3/books/coi/bags/extras.cert text/plain root:root 0o644 8.9 KB
/usr/share/acl2-6.3/books/coi/bags/meta.cert text/plain root:root 0o644 10.8 KB
/usr/share/acl2-6.3/books/coi/bags/neq.cert text/plain root:root 0o644 12.9 KB
/usr/share/acl2-6.3/books/coi/bags/pick-a-point.cert text/plain root:root 0o644 8.5 KB
/usr/share/acl2-6.3/books/coi/bags/top.cert text/plain root:root 0o644 22.3 KB
/usr/share/acl2-6.3/books/coi/bags/two-level-meta.cert text/plain root:root 0o644 10.6 KB
/usr/share/acl2-6.3/books/coi/bags/two-level.cert text/plain root:root 0o644 10.5 KB
/usr/share/acl2-6.3/books/coi/defpun/ root:root 0o755
/usr/share/acl2-6.3/books/coi/defpun/ack.cert text/plain root:root 0o644 4.5 KB
/usr/share/acl2-6.3/books/coi/defpun/defminterm.cert text/plain root:root 0o644 8.1 KB
/usr/share/acl2-6.3/books/coi/defpun/defpun.cert text/plain root:root 0o644 223 bytes
/usr/share/acl2-6.3/books/coi/defpun/defxch.cert text/plain root:root 0o644 4.1 KB
/usr/share/acl2-6.3/books/coi/defstructure/ root:root 0o755
/usr/share/acl2-6.3/books/coi/defstructure/defstructure-pkg.cert text/plain root:root 0o644 3.7 KB
/usr/share/acl2-6.3/books/coi/defstructure/defstructure.cert text/plain root:root 0o644 28.1 KB
/usr/share/acl2-6.3/books/coi/dtrees/ root:root 0o755
/usr/share/acl2-6.3/books/coi/dtrees/base.cert text/plain root:root 0o644 14.2 KB
/usr/share/acl2-6.3/books/coi/dtrees/child.cert text/plain root:root 0o644 15.9 KB
/usr/share/acl2-6.3/books/coi/dtrees/deps.cert text/plain root:root 0o644 14.3 KB
/usr/share/acl2-6.3/books/coi/dtrees/dtree-examples.cert text/plain root:root 0o644 16.4 KB
/usr/share/acl2-6.3/books/coi/dtrees/equiv.cert text/plain root:root 0o644 14.4 KB
/usr/share/acl2-6.3/books/coi/dtrees/erase.cert text/plain root:root 0o644 15.8 KB
/usr/share/acl2-6.3/books/coi/dtrees/leafp.cert text/plain root:root 0o644 15.6 KB
/usr/share/acl2-6.3/books/coi/dtrees/raw.cert text/plain root:root 0o644 14.5 KB
/usr/share/acl2-6.3/books/coi/dtrees/royalp.cert text/plain root:root 0o644 15.6 KB
/usr/share/acl2-6.3/books/coi/dtrees/set.cert text/plain root:root 0o644 15.7 KB
/usr/share/acl2-6.3/books/coi/dtrees/top.cert text/plain root:root 0o644 16.3 KB
/usr/share/acl2-6.3/books/coi/gacc/ root:root 0o755
/usr/share/acl2-6.3/books/coi/gacc/abstract-gacc.cert text/plain root:root 0o644 88.2 KB
/usr/share/acl2-6.3/books/coi/gacc/addr-range.cert text/plain root:root 0o644 88.4 KB
/usr/share/acl2-6.3/books/coi/gacc/bits.cert text/plain root:root 0o644 105.0 KB
/usr/share/acl2-6.3/books/coi/gacc/block.cert text/plain root:root 0o644 88.2 KB
/usr/share/acl2-6.3/books/coi/gacc/finite.cert text/plain root:root 0o644 129.1 KB
/usr/share/acl2-6.3/books/coi/gacc/fr-path-connection.cert text/plain root:root 0o644 119.8 KB
/usr/share/acl2-6.3/books/coi/gacc/gacc-exports.cert text/plain root:root 0o644 81.6 KB
/usr/share/acl2-6.3/books/coi/gacc/gacc-pkg.cert text/plain root:root 0o644 81.6 KB
/usr/share/acl2-6.3/books/coi/gacc/gacc.cert text/plain root:root 0o644 124.8 KB
/usr/share/acl2-6.3/books/coi/gacc/gacc2.cert text/plain root:root 0o644 130.7 KB
/usr/share/acl2-6.3/books/coi/gacc/gacc3.cert text/plain root:root 0o644 129.4 KB
/usr/share/acl2-6.3/books/coi/gacc/gax.cert text/plain root:root 0o644 128.9 KB
/usr/share/acl2-6.3/books/coi/gacc/list-ops-common.cert text/plain root:root 0o644 108.4 KB
/usr/share/acl2-6.3/books/coi/gacc/list-ops-fast.cert text/plain root:root 0o644 115.8 KB
/usr/share/acl2-6.3/books/coi/gacc/list-ops.cert text/plain root:root 0o644 109.4 KB
/usr/share/acl2-6.3/books/coi/gacc/mem-fast.cert text/plain root:root 0o644 111.2 KB
/usr/share/acl2-6.3/books/coi/gacc/mem.cert text/plain root:root 0o644 105.0 KB
/usr/share/acl2-6.3/books/coi/gacc/ram.cert text/plain root:root 0o644 111.3 KB
/usr/share/acl2-6.3/books/coi/gacc/ram0.cert text/plain root:root 0o644 106.5 KB
/usr/share/acl2-6.3/books/coi/gacc/ram2.cert text/plain root:root 0o644 116.2 KB
/usr/share/acl2-6.3/books/coi/gacc/ram2b.cert text/plain root:root 0o644 116.6 KB
/usr/share/acl2-6.3/books/coi/gacc/ram3.cert text/plain root:root 0o644 116.5 KB
/usr/share/acl2-6.3/books/coi/gacc/top.cert text/plain root:root 0o644 129.6 KB
/usr/share/acl2-6.3/books/coi/gacc/tr-path-connection.cert text/plain root:root 0o644 112.0 KB
/usr/share/acl2-6.3/books/coi/gacc/wrap.cert text/plain root:root 0o644 108.2 KB
/usr/share/acl2-6.3/books/coi/generalize/ root:root 0o755
/usr/share/acl2-6.3/books/coi/generalize/generalize.cert text/plain root:root 0o644 33.7 KB
/usr/share/acl2-6.3/books/coi/gensym/ root:root 0o755
/usr/share/acl2-6.3/books/coi/gensym/gensym-list.cert text/plain root:root 0o644 29.8 KB
/usr/share/acl2-6.3/books/coi/gensym/gensym.cert text/plain root:root 0o644 29.3 KB
/usr/share/acl2-6.3/books/coi/lists/ root:root 0o755
/usr/share/acl2-6.3/books/coi/lists/acl2-count.cert text/plain root:root 0o644 1.1 KB
/usr/share/acl2-6.3/books/coi/lists/basic.cert text/plain root:root 0o644 7.2 KB
/usr/share/acl2-6.3/books/coi/lists/disjoint.cert text/plain root:root 0o644 7.4 KB
/usr/share/acl2-6.3/books/coi/lists/find-index.cert text/plain root:root 0o644 7.4 KB
/usr/share/acl2-6.3/books/coi/lists/list-top.cert text/plain root:root 0o644 7.7 KB
/usr/share/acl2-6.3/books/coi/lists/listset-induction.cert text/plain root:root 0o644 7.9 KB
/usr/share/acl2-6.3/books/coi/lists/map-cons.cert text/plain root:root 0o644 7.1 KB
/usr/share/acl2-6.3/books/coi/lists/memberp.cert text/plain root:root 0o644 7.0 KB
/usr/share/acl2-6.3/books/coi/lists/mixed.cert text/plain root:root 0o644 7.2 KB
/usr/share/acl2-6.3/books/coi/lists/mv-nth.cert text/plain root:root 0o644 1.0 KB
/usr/share/acl2-6.3/books/coi/lists/nth-and-update-nth.cert text/plain root:root 0o644 7.1 KB
/usr/share/acl2-6.3/books/coi/lists/nth-meta.cert text/plain root:root 0o644 5.0 KB
/usr/share/acl2-6.3/books/coi/lists/nth-meta2.cert text/plain root:root 0o644 5.0 KB
/usr/share/acl2-6.3/books/coi/lists/remove-induction.cert text/plain root:root 0o644 7.4 KB
/usr/share/acl2-6.3/books/coi/lists/remove.cert text/plain root:root 0o644 7.2 KB
/usr/share/acl2-6.3/books/coi/lists/repeat.cert text/plain root:root 0o644 7.0 KB
/usr/share/acl2-6.3/books/coi/lists/set.cert text/plain root:root 0o644 7.8 KB
/usr/share/acl2-6.3/books/coi/lists/subsetp.cert text/plain root:root 0o644 7.1 KB
/usr/share/acl2-6.3/books/coi/lists/update-nth-array.cert text/plain root:root 0o644 7.3 KB
/usr/share/acl2-6.3/books/coi/maps/ root:root 0o755
/usr/share/acl2-6.3/books/coi/maps/aliases.cert text/plain root:root 0o644 8.5 KB
/usr/share/acl2-6.3/books/coi/maps/maps.cert text/plain root:root 0o644 8.3 KB
/usr/share/acl2-6.3/books/coi/maps/typed-maps.cert text/plain root:root 0o644 8.5 KB
/usr/share/acl2-6.3/books/coi/nary/ root:root 0o755
/usr/share/acl2-6.3/books/coi/nary/example.cert text/plain root:root 0o644 17.9 KB
/usr/share/acl2-6.3/books/coi/nary/nary.cert text/plain root:root 0o644 645 bytes
/usr/share/acl2-6.3/books/coi/nary/nth-rules.cert text/plain root:root 0o644 231 bytes
/usr/share/acl2-6.3/books/coi/nary/ordinal-order.cert text/plain root:root 0o644 5.0 KB
/usr/share/acl2-6.3/books/coi/nary/rewrite-equal-hint.cert text/plain root:root 0o644 259 bytes
/usr/share/acl2-6.3/books/coi/nary/skip-rewrite.cert text/plain root:root 0o644 3.0 KB
/usr/share/acl2-6.3/books/coi/osets/ root:root 0o755
/usr/share/acl2-6.3/books/coi/osets/computed-hints.cert text/plain root:root 0o644 2.1 KB
/usr/share/acl2-6.3/books/coi/osets/conversions.cert text/plain root:root 0o644 10.1 KB
/usr/share/acl2-6.3/books/coi/osets/extras.cert text/plain root:root 0o644 10.3 KB
/usr/share/acl2-6.3/books/coi/osets/fast.cert text/plain root:root 0o644 3.2 KB
/usr/share/acl2-6.3/books/coi/osets/instance.cert text/plain root:root 0o644 2.0 KB
/usr/share/acl2-6.3/books/coi/osets/listsets.cert text/plain root:root 0o644 10.0 KB
/usr/share/acl2-6.3/books/coi/osets/map.cert text/plain root:root 0o644 3.9 KB
/usr/share/acl2-6.3/books/coi/osets/membership.cert text/plain root:root 0o644 3.1 KB
/usr/share/acl2-6.3/books/coi/osets/multiappend.cert text/plain root:root 0o644 10.2 KB
/usr/share/acl2-6.3/books/coi/osets/multicons.cert text/plain root:root 0o644 10.1 KB
/usr/share/acl2-6.3/books/coi/osets/outer.cert text/plain root:root 0o644 3.4 KB
/usr/share/acl2-6.3/books/coi/osets/primitives.cert text/plain root:root 0o644 2.7 KB
/usr/share/acl2-6.3/books/coi/osets/quantify.cert text/plain root:root 0o644 3.8 KB
/usr/share/acl2-6.3/books/coi/osets/set-order.cert text/plain root:root 0o644 3.8 KB
/usr/share/acl2-6.3/books/coi/osets/set-processor.cert text/plain root:root 0o644 3.8 KB
/usr/share/acl2-6.3/books/coi/osets/sets.cert text/plain root:root 0o644 3.6 KB
/usr/share/acl2-6.3/books/coi/osets/sort.cert text/plain root:root 0o644 3.5 KB
/usr/share/acl2-6.3/books/coi/paths/ root:root 0o755
/usr/share/acl2-6.3/books/coi/paths/compatibility.cert text/plain root:root 0o644 12.0 KB
/usr/share/acl2-6.3/books/coi/paths/cp-set.cert text/plain root:root 0o644 31.1 KB
/usr/share/acl2-6.3/books/coi/paths/defs.cert text/plain root:root 0o644 10.1 KB
/usr/share/acl2-6.3/books/coi/paths/diverge.cert text/plain root:root 0o644 11.1 KB
/usr/share/acl2-6.3/books/coi/paths/dominates.cert text/plain root:root 0o644 11.0 KB
/usr/share/acl2-6.3/books/coi/paths/equiv.cert text/plain root:root 0o644 28.5 KB
/usr/share/acl2-6.3/books/coi/paths/hints.cert text/plain root:root 0o644 28.9 KB
/usr/share/acl2-6.3/books/coi/paths/list-path-connection.cert text/plain root:root 0o644 29.1 KB
/usr/share/acl2-6.3/books/coi/paths/meta.cert text/plain root:root 0o644 30.0 KB
/usr/share/acl2-6.3/books/coi/paths/path.cert text/plain root:root 0o644 32.5 KB
/usr/share/acl2-6.3/books/coi/paths/pm.cert text/plain root:root 0o644 28.8 KB
/usr/share/acl2-6.3/books/coi/quantification/ root:root 0o755
/usr/share/acl2-6.3/books/coi/quantification/quantification.cert text/plain root:root 0o644 32.8 KB
/usr/share/acl2-6.3/books/coi/records/ root:root 0o755
/usr/share/acl2-6.3/books/coi/records/defarray.cert text/plain root:root 0o644 9.9 KB
/usr/share/acl2-6.3/books/coi/records/defrecord-fast.cert text/plain root:root 0o644 15.9 KB
/usr/share/acl2-6.3/books/coi/records/defrecord.cert text/plain root:root 0o644 9.9 KB
/usr/share/acl2-6.3/books/coi/records/domain.cert text/plain root:root 0o644 15.1 KB
/usr/share/acl2-6.3/books/coi/records/fast/ root:root 0o755
/usr/share/acl2-6.3/books/coi/records/fast/log2.cert text/plain root:root 0o644 5.4 KB
/usr/share/acl2-6.3/books/coi/records/fast/memory-impl.cert text/plain root:root 0o644 6.5 KB
/usr/share/acl2-6.3/books/coi/records/fast/memory.cert text/plain root:root 0o644 6.8 KB
/usr/share/acl2-6.3/books/coi/records/fast/memtree.cert text/plain root:root 0o644 5.4 KB
/usr/share/acl2-6.3/books/coi/records/fast/private.cert text/plain root:root 0o644 457 bytes
/usr/share/acl2-6.3/books/coi/records/fixedpoint.cert text/plain root:root 0o644 18.2 KB
/usr/share/acl2-6.3/books/coi/records/mem-domain.cert text/plain root:root 0o644 32.2 KB
/usr/share/acl2-6.3/books/coi/records/memory.cert text/plain root:root 0o644 10.1 KB
/usr/share/acl2-6.3/books/coi/records/record-exports.cert text/plain root:root 0o644 3.4 KB
/usr/share/acl2-6.3/books/coi/records/records.cert text/plain root:root 0o644 11.3 KB
/usr/share/acl2-6.3/books/coi/records/set-domain.cert text/plain root:root 0o644 14.0 KB
/usr/share/acl2-6.3/books/coi/super-ihs/ root:root 0o755
/usr/share/acl2-6.3/books/coi/super-ihs/arithmetic.cert text/plain root:root 0o644 19.6 KB
/usr/share/acl2-6.3/books/coi/super-ihs/ash.cert text/plain root:root 0o644 20.0 KB
/usr/share/acl2-6.3/books/coi/super-ihs/basics.cert text/plain root:root 0o644 21.8 KB
/usr/share/acl2-6.3/books/coi/super-ihs/bit-functions.cert text/plain root:root 0o644 19.9 KB
/usr/share/acl2-6.3/books/coi/super-ihs/bit-twiddling-logops.cert text/plain root:root 0o644 22.8 KB
/usr/share/acl2-6.3/books/coi/super-ihs/byte-p.cert text/plain root:root 0o644 22.3 KB
/usr/share/acl2-6.3/books/coi/super-ihs/c-functions.cert text/plain root:root 0o644 23.0 KB
/usr/share/acl2-6.3/books/coi/super-ihs/carry.cert text/plain root:root 0o644 23.6 KB
/usr/share/acl2-6.3/books/coi/super-ihs/eric.cert text/plain root:root 0o644 18.9 KB
/usr/share/acl2-6.3/books/coi/super-ihs/evenp.cert text/plain root:root 0o644 21.9 KB
/usr/share/acl2-6.3/books/coi/super-ihs/fast.cert text/plain root:root 0o644 23.6 KB
/usr/share/acl2-6.3/books/coi/super-ihs/from-rtl.cert text/plain root:root 0o644 22.4 KB
/usr/share/acl2-6.3/books/coi/super-ihs/hacks.cert text/plain root:root 0o644 22.9 KB
/usr/share/acl2-6.3/books/coi/super-ihs/inductions.cert text/plain root:root 0o644 20.0 KB
/usr/share/acl2-6.3/books/coi/super-ihs/iter-sqrt.cert text/plain root:root 0o644 19.8 KB
/usr/share/acl2-6.3/books/coi/super-ihs/logapp.cert text/plain root:root 0o644 19.9 KB
/usr/share/acl2-6.3/books/coi/super-ihs/logbit.cert text/plain root:root 0o644 19.9 KB
/usr/share/acl2-6.3/books/coi/super-ihs/logbitp.cert text/plain root:root 0o644 19.9 KB
/usr/share/acl2-6.3/books/coi/super-ihs/logcar.cert text/plain root:root 0o644 20.2 KB
/usr/share/acl2-6.3/books/coi/super-ihs/logcdr.cert text/plain root:root 0o644 20.4 KB
/usr/share/acl2-6.3/books/coi/super-ihs/logcons.cert text/plain root:root 0o644 20.2 KB
/usr/share/acl2-6.3/books/coi/super-ihs/logext.cert text/plain root:root 0o644 21.6 KB
/usr/share/acl2-6.3/books/coi/super-ihs/loghead.cert text/plain root:root 0o644 21.2 KB
/usr/share/acl2-6.3/books/coi/super-ihs/logical-logops.cert text/plain root:root 0o644 22.6 KB
/usr/share/acl2-6.3/books/coi/super-ihs/logior-logapp-crock.cert text/plain root:root 0o644 5.2 KB
/usr/share/acl2-6.3/books/coi/super-ihs/loglist.cert text/plain root:root 0o644 22.5 KB
/usr/share/acl2-6.3/books/coi/super-ihs/logpair.cert text/plain root:root 0o644 22.2 KB
/usr/share/acl2-6.3/books/coi/super-ihs/logtail.cert text/plain root:root 0o644 20.3 KB
/usr/share/acl2-6.3/books/coi/super-ihs/lshu.cert text/plain root:root 0o644 23.0 KB
/usr/share/acl2-6.3/books/coi/super-ihs/meta.cert text/plain root:root 0o644 25.5 KB
/usr/share/acl2-6.3/books/coi/super-ihs/min-max.cert text/plain root:root 0o644 230 bytes
/usr/share/acl2-6.3/books/coi/super-ihs/plus-logapp-suck.cert text/plain root:root 0o644 8.7 KB
/usr/share/acl2-6.3/books/coi/super-ihs/signed-byte-p-overflow.cert text/plain root:root 0o644 8.7 KB
/usr/share/acl2-6.3/books/coi/super-ihs/super-ihs.cert text/plain root:root 0o644 23.5 KB
/usr/share/acl2-6.3/books/coi/super-ihs/unsigned-byte-p.cert text/plain root:root 0o644 19.9 KB
/usr/share/acl2-6.3/books/coi/symbol-fns/ root:root 0o755
/usr/share/acl2-6.3/books/coi/symbol-fns/symbol-fns-exports.cert text/plain root:root 0o644 356 bytes
/usr/share/acl2-6.3/books/coi/symbol-fns/symbol-fns.cert text/plain root:root 0o644 334 bytes
/usr/share/acl2-6.3/books/coi/syntax/ root:root 0o755
/usr/share/acl2-6.3/books/coi/syntax/auxilary.cert text/plain root:root 0o644 671 bytes
/usr/share/acl2-6.3/books/coi/syntax/defbinding.cert text/plain root:root 0o644 677 bytes
/usr/share/acl2-6.3/books/coi/syntax/defevaluator.cert text/plain root:root 0o644 529 bytes
/usr/share/acl2-6.3/books/coi/syntax/quine.cert text/plain root:root 0o644 1.3 KB
/usr/share/acl2-6.3/books/coi/syntax/syn-pkg.cert text/plain root:root 0o644 513 bytes
/usr/share/acl2-6.3/books/coi/syntax/syntax-extensions.cert text/plain root:root 0o644 960 bytes
/usr/share/acl2-6.3/books/coi/syntax/syntax.cert text/plain root:root 0o644 1.2 KB
/usr/share/acl2-6.3/books/coi/termination/ root:root 0o755
/usr/share/acl2-6.3/books/coi/termination/assuming/ root:root 0o755
/usr/share/acl2-6.3/books/coi/termination/assuming/compiler-proof.cert text/plain root:root 0o644 6.9 KB
/usr/share/acl2-6.3/books/coi/termination/assuming/compiler.cert text/plain root:root 0o644 61.5 KB
/usr/share/acl2-6.3/books/coi/termination/assuming/zero.cert text/plain root:root 0o644 29.2 KB
/usr/share/acl2-6.3/books/coi/util/ root:root 0o755
/usr/share/acl2-6.3/books/coi/util/clause-processor.cert text/plain root:root 0o644 3.1 KB
/usr/share/acl2-6.3/books/coi/util/debug.cert text/x-lisp root:root 0o644 3.8 KB
/usr/share/acl2-6.3/books/coi/util/defbinding.cert text/plain root:root 0o644 254 bytes
/usr/share/acl2-6.3/books/coi/util/defdoc.cert text/plain root:root 0o644 1.7 KB
/usr/share/acl2-6.3/books/coi/util/deffix.cert text/plain root:root 0o644 490 bytes
/usr/share/acl2-6.3/books/coi/util/defsubtype.cert text/plain root:root 0o644 2.8 KB
/usr/share/acl2-6.3/books/coi/util/defun-support.cert text/plain root:root 0o644 1.1 KB
/usr/share/acl2-6.3/books/coi/util/defun.cert text/plain root:root 0o644 2.8 KB
/usr/share/acl2-6.3/books/coi/util/extra-info-test.cert text/plain root:root 0o644 920 bytes
/usr/share/acl2-6.3/books/coi/util/extra-info.cert text/plain root:root 0o644 378 bytes
/usr/share/acl2-6.3/books/coi/util/fixequiv.cert text/plain root:root 0o644 227 bytes
/usr/share/acl2-6.3/books/coi/util/good-rewrite-order.cert text/plain root:root 0o644 1.1 KB
/usr/share/acl2-6.3/books/coi/util/ifdef.cert text/x-lisp root:root 0o644 5.0 KB
/usr/share/acl2-6.3/books/coi/util/iff.cert text/plain root:root 0o644 211 bytes
/usr/share/acl2-6.3/books/coi/util/ifixequiv.cert text/plain root:root 0o644 361 bytes
/usr/share/acl2-6.3/books/coi/util/implies.cert text/plain root:root 0o644 369 bytes
/usr/share/acl2-6.3/books/coi/util/in-conclusion.cert text/plain root:root 0o644 242 bytes
/usr/share/acl2-6.3/books/coi/util/ith.cert text/plain root:root 0o644 214 bytes
/usr/share/acl2-6.3/books/coi/util/mv-nth.cert text/plain root:root 0o644 245 bytes
/usr/share/acl2-6.3/books/coi/util/nfixequiv.cert text/plain root:root 0o644 492 bytes
/usr/share/acl2-6.3/books/coi/util/ordinal-order.cert text/plain root:root 0o644 5.0 KB
/usr/share/acl2-6.3/books/coi/util/pseudo-translate.cert text/plain root:root 0o644 252 bytes
/usr/share/acl2-6.3/books/coi/util/recursion-support.cert text/plain root:root 0o644 1.2 KB
/usr/share/acl2-6.3/books/coi/util/rewrite-equiv.cert text/plain root:root 0o644 4.3 KB
/usr/share/acl2-6.3/books/coi/util/rule-sets-documentation.cert text/plain root:root 0o644 4.6 KB
/usr/share/acl2-6.3/books/coi/util/rule-sets-support.cert text/plain root:root 0o644 394 bytes
/usr/share/acl2-6.3/books/coi/util/rule-sets.cert text/plain root:root 0o644 3.2 KB
/usr/share/acl2-6.3/books/coi/util/skip-rewrite.cert text/plain root:root 0o644 3.2 KB
/usr/share/acl2-6.3/books/coi/util/syntaxp.cert text/plain root:root 0o644 226 bytes
/usr/share/acl2-6.3/books/coi/util/table.cert text/plain root:root 0o644 252 bytes

APT Browse - Built by Thomas Orozco.