acl2-books-certs 6.3-5 / usr / share / acl2-6.3 / books / rtl / rel4

This file is indexed.

/usr/share/acl2-6.3/books/rtl/rel4/ 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/rtl/rel4/arithmetic/ root:root 0o755
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/arith.cert text/plain root:root 0o644 10.9 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/arith2.cert text/plain root:root 0o644 9.5 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/basic.cert text/plain root:root 0o644 12.8 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/cg.cert text/plain root:root 0o644 15.7 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/common-factor-defuns.cert text/plain root:root 0o644 436 bytes
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/common-factor.cert text/plain root:root 0o644 10.8 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/complex-rationalp.cert text/plain root:root 0o644 418 bytes
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/denominator.cert text/plain root:root 0o644 11.6 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/even-odd.cert text/plain root:root 0o644 12.0 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/even-odd2-proofs.cert text/plain root:root 0o644 13.1 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/even-odd2.cert text/plain root:root 0o644 13.6 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/expo-proofs.cert text/plain root:root 0o644 12.9 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/expo.cert text/plain root:root 0o644 13.1 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/expt-proofs.cert text/plain root:root 0o644 14.0 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/expt.cert text/plain root:root 0o644 14.3 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/extra-rules.cert text/plain root:root 0o644 15.8 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/fl-expt.cert text/plain root:root 0o644 16.1 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/fl-hacks.cert text/plain root:root 0o644 14.9 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/fl-proofs.cert text/plain root:root 0o644 15.0 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/fl.cert text/plain root:root 0o644 15.4 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/floor-proofs.cert text/plain root:root 0o644 14.1 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/floor.cert text/plain root:root 0o644 14.5 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/fp.cert text/plain root:root 0o644 11.3 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/fp2.cert text/plain root:root 0o644 8.7 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/ground-zero.cert text/plain root:root 0o644 248 bytes
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/hacks.cert text/plain root:root 0o644 11.3 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/induct.cert text/plain root:root 0o644 15.7 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/integerp.cert text/plain root:root 0o644 11.6 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/inverted-factor.cert text/plain root:root 0o644 260 bytes
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/mod-expt.cert text/plain root:root 0o644 13.9 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/mod-proofs.cert text/plain root:root 0o644 15.8 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/mod.cert text/plain root:root 0o644 16.2 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/negative-syntaxp.cert text/plain root:root 0o644 264 bytes
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/nniq.cert text/plain root:root 0o644 12.8 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/numerator.cert text/plain root:root 0o644 11.9 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/power2p.cert text/plain root:root 0o644 12.8 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/predicate.cert text/plain root:root 0o644 243 bytes
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/product-proofs.cert text/plain root:root 0o644 11.5 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/product.cert text/plain root:root 0o644 11.9 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/rationalp.cert text/plain root:root 0o644 392 bytes
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/top.cert text/plain root:root 0o644 14.6 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/unary-divide.cert text/plain root:root 0o644 11.5 KB
/usr/share/acl2-6.3/books/rtl/rel4/arithmetic/x-2xx.cert text/plain root:root 0o644 3.4 KB
/usr/share/acl2-6.3/books/rtl/rel4/lib/ root:root 0o755
/usr/share/acl2-6.3/books/rtl/rel4/lib/arith.cert text/plain root:root 0o644 14.1 KB
/usr/share/acl2-6.3/books/rtl/rel4/lib/basic.cert text/plain root:root 0o644 33.6 KB
/usr/share/acl2-6.3/books/rtl/rel4/lib/bits.cert text/plain root:root 0o644 34.2 KB
/usr/share/acl2-6.3/books/rtl/rel4/lib/bvecp-helpers.cert text/plain root:root 0o644 32.8 KB
/usr/share/acl2-6.3/books/rtl/rel4/lib/bvecp-raw-helpers.cert text/plain root:root 0o644 34.7 KB
/usr/share/acl2-6.3/books/rtl/rel4/lib/clocks.cert text/plain root:root 0o644 15.4 KB
/usr/share/acl2-6.3/books/rtl/rel4/lib/fadd.cert text/plain root:root 0o644 34.8 KB
/usr/share/acl2-6.3/books/rtl/rel4/lib/float.cert text/plain root:root 0o644 34.4 KB
/usr/share/acl2-6.3/books/rtl/rel4/lib/openers.cert text/plain root:root 0o644 381 bytes
/usr/share/acl2-6.3/books/rtl/rel4/lib/package-defs.cert text/plain root:root 0o644 411 bytes
/usr/share/acl2-6.3/books/rtl/rel4/lib/reps.cert text/plain root:root 0o644 34.8 KB
/usr/share/acl2-6.3/books/rtl/rel4/lib/rom-helpers.cert text/plain root:root 0o644 405 bytes
/usr/share/acl2-6.3/books/rtl/rel4/lib/round.cert text/plain root:root 0o644 36.2 KB
/usr/share/acl2-6.3/books/rtl/rel4/lib/rtl.cert text/plain root:root 0o644 35.7 KB
/usr/share/acl2-6.3/books/rtl/rel4/lib/rtlarr.cert text/plain root:root 0o644 32.5 KB
/usr/share/acl2-6.3/books/rtl/rel4/lib/simple-loop-helpers.cert text/plain root:root 0o644 34.8 KB
/usr/share/acl2-6.3/books/rtl/rel4/lib/simplify-model-helpers.cert text/plain root:root 0o644 34.9 KB
/usr/share/acl2-6.3/books/rtl/rel4/lib/top.cert text/plain root:root 0o644 37.2 KB
/usr/share/acl2-6.3/books/rtl/rel4/lib/util.cert text/plain root:root 0o644 363 bytes
/usr/share/acl2-6.3/books/rtl/rel4/support/ root:root 0o755
/usr/share/acl2-6.3/books/rtl/rel4/support/add3-proofs.cert text/plain root:root 0o644 21.4 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/add3.cert text/plain root:root 0o644 21.5 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/all-ones.cert text/plain root:root 0o644 237 bytes
/usr/share/acl2-6.3/books/rtl/rel4/support/ash.cert text/plain root:root 0o644 17.3 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/away-proofs.cert text/plain root:root 0o644 19.8 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/away.cert text/plain root:root 0o644 20.2 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/badguys.cert text/plain root:root 0o644 20.4 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/bias-proofs.cert text/plain root:root 0o644 17.5 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/bias.cert text/plain root:root 0o644 17.8 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/bitn-proofs.cert text/plain root:root 0o644 16.3 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/bitn.cert text/plain root:root 0o644 16.4 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/bits-extra.cert text/plain root:root 0o644 31.4 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/bits-proofs.cert text/plain root:root 0o644 16.0 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/bits-trunc-proofs.cert text/plain root:root 0o644 21.1 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/bits-trunc.cert text/plain root:root 0o644 21.3 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/bits.cert text/plain root:root 0o644 16.2 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/bvecp-helpers.cert text/plain root:root 0o644 23.9 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/bvecp-lemmas.cert text/plain root:root 0o644 25.8 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/bvecp-proofs.cert text/plain root:root 0o644 18.7 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/bvecp.cert text/plain root:root 0o644 19.1 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/cat-def.cert text/plain root:root 0o644 233 bytes
/usr/share/acl2-6.3/books/rtl/rel4/support/cat-proofs.cert text/plain root:root 0o644 20.2 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/cat.cert text/plain root:root 0o644 20.6 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/clocks.cert text/plain root:root 0o644 15.3 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/decode-proofs.cert text/plain root:root 0o644 19.6 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/decode.cert text/plain root:root 0o644 19.9 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/drnd.cert text/plain root:root 0o644 24.4 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/encode.cert text/plain root:root 0o644 20.1 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/ereps-proofs.cert text/plain root:root 0o644 21.6 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/ereps.cert text/plain root:root 0o644 21.7 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/fadd.cert text/plain root:root 0o644 23.6 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/fast-and.cert text/plain root:root 0o644 236 bytes
/usr/share/acl2-6.3/books/rtl/rel4/support/float.cert text/plain root:root 0o644 15.0 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/ground-zero.cert text/plain root:root 0o644 532 bytes
/usr/share/acl2-6.3/books/rtl/rel4/support/guards.cert text/plain root:root 0o644 33.9 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/ireps.cert text/plain root:root 0o644 21.2 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/land-proofs.cert text/plain root:root 0o644 24.9 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/land.cert text/plain root:root 0o644 25.3 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/lextra-proofs.cert text/plain root:root 0o644 21.6 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/lextra.cert text/plain root:root 0o644 21.7 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/lior-proofs.cert text/plain root:root 0o644 24.6 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/lior.cert text/plain root:root 0o644 24.9 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/lnot-proofs.cert text/plain root:root 0o644 20.5 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/lnot.cert text/plain root:root 0o644 20.9 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/log-equal.cert text/plain root:root 0o644 239 bytes
/usr/share/acl2-6.3/books/rtl/rel4/support/log-proofs.cert text/plain root:root 0o644 22.8 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/log.cert text/plain root:root 0o644 19.2 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/logand-proofs.cert text/plain root:root 0o644 15.8 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/logand.cert text/plain root:root 0o644 19.5 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/logeqv.cert text/plain root:root 0o644 20.6 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/logior-proofs.cert text/plain root:root 0o644 20.2 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/logior.cert text/plain root:root 0o644 20.6 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/logior1-proofs.cert text/plain root:root 0o644 255 bytes
/usr/share/acl2-6.3/books/rtl/rel4/support/logior1.cert text/plain root:root 0o644 396 bytes
/usr/share/acl2-6.3/books/rtl/rel4/support/lognot.cert text/plain root:root 0o644 19.1 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/logorc1.cert text/plain root:root 0o644 20.9 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/logs.cert text/plain root:root 0o644 224 bytes
/usr/share/acl2-6.3/books/rtl/rel4/support/logxor.cert text/plain root:root 0o644 20.9 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/lop1-proofs.cert text/plain root:root 0o644 20.4 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/lop1.cert text/plain root:root 0o644 20.5 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/lop2-proofs.cert text/plain root:root 0o644 21.1 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/lop2.cert text/plain root:root 0o644 21.2 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/lop3-proofs.cert text/plain root:root 0o644 21.9 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/lop3.cert text/plain root:root 0o644 22.0 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/lxor-proofs.cert text/plain root:root 0o644 24.6 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/lxor.cert text/plain root:root 0o644 24.9 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/merge.cert text/plain root:root 0o644 20.3 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/merge2.cert text/plain root:root 0o644 21.2 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/mod4.cert text/plain root:root 0o644 18.7 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/model-helpers.cert text/plain root:root 0o644 19.1 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/mulcat-proofs.cert text/plain root:root 0o644 24.3 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/mulcat.cert text/plain root:root 0o644 24.7 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/near+-proofs.cert text/plain root:root 0o644 20.4 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/near+.cert text/plain root:root 0o644 20.8 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/near-proofs.cert text/plain root:root 0o644 20.4 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/near.cert text/plain root:root 0o644 20.7 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/ocat.cert text/plain root:root 0o644 15.6 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/oddr-proofs.cert text/plain root:root 0o644 20.6 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/oddr.cert text/plain root:root 0o644 21.0 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/openers.cert text/plain root:root 0o644 233 bytes
/usr/share/acl2-6.3/books/rtl/rel4/support/package-defs.cert text/plain root:root 0o644 249 bytes
/usr/share/acl2-6.3/books/rtl/rel4/support/rewrite-theory.cert text/plain root:root 0o644 255 bytes
/usr/share/acl2-6.3/books/rtl/rel4/support/rnd.cert text/plain root:root 0o644 26.3 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/rom-helpers.cert text/plain root:root 0o644 245 bytes
/usr/share/acl2-6.3/books/rtl/rel4/support/rtl.cert text/plain root:root 0o644 1.7 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/rtlarr.cert text/plain root:root 0o644 1018 bytes
/usr/share/acl2-6.3/books/rtl/rel4/support/setbitn-proofs.cert text/plain root:root 0o644 21.5 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/setbitn.cert text/plain root:root 0o644 21.9 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/setbits-proofs.cert text/plain root:root 0o644 20.8 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/setbits.cert text/plain root:root 0o644 21.2 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/sgn.cert text/plain root:root 0o644 18.6 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/shft.cert text/plain root:root 0o644 19.0 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/simple-loop-helpers.cert text/plain root:root 0o644 24.4 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/simplify-model-helpers.cert text/plain root:root 0o644 19.4 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/stick-proofs.cert text/plain root:root 0o644 21.4 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/stick.cert text/plain root:root 0o644 25.1 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/sticky-proofs.cert text/plain root:root 0o644 19.7 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/sticky.cert text/plain root:root 0o644 20.1 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/sumbits.cert text/plain root:root 0o644 16.5 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/top.cert text/plain root:root 0o644 30.8 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/top1.cert text/plain root:root 0o644 30.5 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/trunc-proofs.cert text/plain root:root 0o644 19.1 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/trunc.cert text/plain root:root 0o644 19.4 KB
/usr/share/acl2-6.3/books/rtl/rel4/support/util.cert text/plain root:root 0o644 224 bytes
/usr/share/acl2-6.3/books/rtl/rel4/user/ root:root 0o755
/usr/share/acl2-6.3/books/rtl/rel4/user/away.cert text/plain root:root 0o644 16.9 KB
/usr/share/acl2-6.3/books/rtl/rel4/user/bias.cert text/plain root:root 0o644 18.2 KB
/usr/share/acl2-6.3/books/rtl/rel4/user/bitn.cert text/plain root:root 0o644 31.8 KB
/usr/share/acl2-6.3/books/rtl/rel4/user/bits-trunc.cert text/plain root:root 0o644 32.2 KB
/usr/share/acl2-6.3/books/rtl/rel4/user/bits.cert text/plain root:root 0o644 31.8 KB
/usr/share/acl2-6.3/books/rtl/rel4/user/brat.cert text/plain root:root 0o644 15.7 KB
/usr/share/acl2-6.3/books/rtl/rel4/user/bvecp.cert text/plain root:root 0o644 19.5 KB
/usr/share/acl2-6.3/books/rtl/rel4/user/cat.cert text/plain root:root 0o644 35.5 KB
/usr/share/acl2-6.3/books/rtl/rel4/user/decode.cert text/plain root:root 0o644 20.3 KB
/usr/share/acl2-6.3/books/rtl/rel4/user/ereps.cert text/plain root:root 0o644 34.7 KB
/usr/share/acl2-6.3/books/rtl/rel4/user/land.cert text/plain root:root 0o644 35.1 KB
/usr/share/acl2-6.3/books/rtl/rel4/user/lextra.cert text/plain root:root 0o644 32.7 KB
/usr/share/acl2-6.3/books/rtl/rel4/user/lior.cert text/plain root:root 0o644 35.6 KB
/usr/share/acl2-6.3/books/rtl/rel4/user/lnot.cert text/plain root:root 0o644 35.1 KB
/usr/share/acl2-6.3/books/rtl/rel4/user/logior1.cert text/plain root:root 0o644 545 bytes
/usr/share/acl2-6.3/books/rtl/rel4/user/lxor.cert text/plain root:root 0o644 35.1 KB
/usr/share/acl2-6.3/books/rtl/rel4/user/mulcat.cert text/plain root:root 0o644 35.5 KB
/usr/share/acl2-6.3/books/rtl/rel4/user/near.cert text/plain root:root 0o644 21.1 KB
/usr/share/acl2-6.3/books/rtl/rel4/user/setbitn.cert text/plain root:root 0o644 35.9 KB
/usr/share/acl2-6.3/books/rtl/rel4/user/setbits.cert text/plain root:root 0o644 35.5 KB
/usr/share/acl2-6.3/books/rtl/rel4/user/stick.cert text/plain root:root 0o644 32.9 KB
/usr/share/acl2-6.3/books/rtl/rel4/user/sumbits.cert text/plain root:root 0o644 34.8 KB
/usr/share/acl2-6.3/books/rtl/rel4/user/top.cert text/plain root:root 0o644 37.3 KB
/usr/share/acl2-6.3/books/rtl/rel4/user/trunc.cert text/plain root:root 0o644 19.8 KB

APT Browse - Built by Thomas Orozco.