/usr/share/acl2-7.1/books/centaur/gl/ 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/centaur/gl/always-equal-prep.cert
|
application/octet-stream | root:root | 0o644 | 40.2 KB |
/usr/share/acl2-7.1/books/centaur/gl/arith-lemmas.cert
|
application/octet-stream | root:root | 0o644 | 20.2 KB |
/usr/share/acl2-7.1/books/centaur/gl/auto-bindings.cert
|
application/octet-stream | root:root | 0o644 | 12.2 KB |
/usr/share/acl2-7.1/books/centaur/gl/bfr-aig-bddify.cert
|
application/octet-stream | root:root | 0o644 | 29.4 KB |
/usr/share/acl2-7.1/books/centaur/gl/bfr-param.cert
|
application/octet-stream | root:root | 0o644 | 27.8 KB |
/usr/share/acl2-7.1/books/centaur/gl/bfr-sat.cert
|
application/octet-stream | root:root | 0o644 | 26.0 KB |
/usr/share/acl2-7.1/books/centaur/gl/bfr.cert
|
application/octet-stream | root:root | 0o644 | 34.5 KB |
/usr/share/acl2-7.1/books/centaur/gl/bvar-db.cert
|
application/octet-stream | root:root | 0o644 | 12.6 KB |
/usr/share/acl2-7.1/books/centaur/gl/bvecs.cert
|
application/octet-stream | root:root | 0o644 | 26.5 KB |
/usr/share/acl2-7.1/books/centaur/gl/constraint-db-deps.cert
|
application/octet-stream | root:root | 0o644 | 45.3 KB |
/usr/share/acl2-7.1/books/centaur/gl/constraint-db.cert
|
application/octet-stream | root:root | 0o644 | 62.5 KB |
/usr/share/acl2-7.1/books/centaur/gl/ctrex-utils.cert
|
application/octet-stream | root:root | 0o644 | 80.5 KB |
/usr/share/acl2-7.1/books/centaur/gl/def-gl-clause-proc.cert
|
application/octet-stream | root:root | 0o644 | 70.3 KB |
/usr/share/acl2-7.1/books/centaur/gl/def-gl-rewrite.cert
|
application/octet-stream | root:root | 0o644 | 16.1 KB |
/usr/share/acl2-7.1/books/centaur/gl/def-gl-rule.cert
|
application/octet-stream | root:root | 0o644 | 9.1 KB |
/usr/share/acl2-7.1/books/centaur/gl/defagg.cert
|
application/octet-stream | root:root | 0o644 | 5.1 KB |
/usr/share/acl2-7.1/books/centaur/gl/defapply.cert
|
application/octet-stream | root:root | 0o644 | 15.3 KB |
/usr/share/acl2-7.1/books/centaur/gl/doc.cert
|
application/octet-stream | root:root | 0o644 | 71.1 KB |
/usr/share/acl2-7.1/books/centaur/gl/eval-f-i-cp.cert
|
application/octet-stream | root:root | 0o644 | 21.7 KB |
/usr/share/acl2-7.1/books/centaur/gl/eval-g-base-help.cert
|
application/octet-stream | root:root | 0o644 | 42.3 KB |
/usr/share/acl2-7.1/books/centaur/gl/eval-g-base.cert
|
application/octet-stream | root:root | 0o644 | 256.9 KB |
/usr/share/acl2-7.1/books/centaur/gl/factor-fns.cert
|
application/octet-stream | root:root | 0o644 | 18.8 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-always-equal.cert
|
application/octet-stream | root:root | 0o644 | 39.0 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-ash.cert
|
application/octet-stream | root:root | 0o644 | 40.8 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-assert.cert
|
application/octet-stream | root:root | 0o644 | 43.7 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-binary-+.cert
|
application/octet-stream | root:root | 0o644 | 45.6 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-binary-mult.cert
|
application/octet-stream | root:root | 0o644 | 40.6 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-code-char.cert
|
application/octet-stream | root:root | 0o644 | 46.1 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-coerce.cert
|
application/octet-stream | root:root | 0o644 | 46.9 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-concretize.cert
|
application/octet-stream | root:root | 0o644 | 42.6 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-cons.cert
|
application/octet-stream | root:root | 0o644 | 46.7 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-equal.cert
|
application/octet-stream | root:root | 0o644 | 55.7 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-floor.cert
|
application/octet-stream | root:root | 0o644 | 40.8 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-hide.cert
|
application/octet-stream | root:root | 0o644 | 36.5 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-if.cert
|
application/octet-stream | root:root | 0o644 | 39.9 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-integer-length.cert
|
application/octet-stream | root:root | 0o644 | 42.2 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-intern.cert
|
application/octet-stream | root:root | 0o644 | 41.5 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-lessthan.cert
|
application/octet-stream | root:root | 0o644 | 39.7 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-logand.cert
|
application/octet-stream | root:root | 0o644 | 40.2 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-logapp.cert
|
application/octet-stream | root:root | 0o644 | 68.1 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-logbitp.cert
|
application/octet-stream | root:root | 0o644 | 40.5 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-logeqv.cert
|
application/octet-stream | root:root | 0o644 | 39.8 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-logior.cert
|
application/octet-stream | root:root | 0o644 | 39.8 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-lognot.cert
|
application/octet-stream | root:root | 0o644 | 42.0 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-make-fast-alist.cert
|
application/octet-stream | root:root | 0o644 | 39.6 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-mod.cert
|
application/octet-stream | root:root | 0o644 | 40.5 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-predicates.cert
|
application/octet-stream | root:root | 0o644 | 85.7 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-primitives-help.cert
|
application/octet-stream | root:root | 0o644 | 29.5 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-rem.cert
|
application/octet-stream | root:root | 0o644 | 40.5 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-truncate.cert
|
application/octet-stream | root:root | 0o644 | 40.6 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-unary--.cert
|
application/octet-stream | root:root | 0o644 | 40.8 KB |
/usr/share/acl2-7.1/books/centaur/gl/g-unary-concrete.cert
|
application/octet-stream | root:root | 0o644 | 65.2 KB |
/usr/share/acl2-7.1/books/centaur/gl/general-object-thms.cert
|
application/octet-stream | root:root | 0o644 | 29.4 KB |
/usr/share/acl2-7.1/books/centaur/gl/general-objects.cert
|
application/octet-stream | root:root | 0o644 | 28.7 KB |
/usr/share/acl2-7.1/books/centaur/gl/generic-geval.cert
|
application/octet-stream | root:root | 0o644 | 272.9 KB |
/usr/share/acl2-7.1/books/centaur/gl/gify-thms.cert
|
application/octet-stream | root:root | 0o644 | 32.6 KB |
/usr/share/acl2-7.1/books/centaur/gl/gify.cert
|
application/octet-stream | root:root | 0o644 | 30.4 KB |
/usr/share/acl2-7.1/books/centaur/gl/gl-generic-clause-proc.cert
|
application/octet-stream | root:root | 0o644 | 120.1 KB |
/usr/share/acl2-7.1/books/centaur/gl/gl-generic-interp-defs.cert
|
application/octet-stream | root:root | 0o644 | 97.6 KB |
/usr/share/acl2-7.1/books/centaur/gl/gl-generic-interp.cert
|
application/octet-stream | root:root | 0o644 | 213.8 KB |
/usr/share/acl2-7.1/books/centaur/gl/gl-mbe.cert
|
application/octet-stream | root:root | 0o644 | 13.6 KB |
/usr/share/acl2-7.1/books/centaur/gl/gl-misc-defs.cert
|
application/octet-stream | root:root | 0o644 | 14.6 KB |
/usr/share/acl2-7.1/books/centaur/gl/gl-util.cert
|
application/octet-stream | root:root | 0o644 | 6.1 KB |
/usr/share/acl2-7.1/books/centaur/gl/gl.cert
|
application/octet-stream | root:root | 0o644 | 249.2 KB |
/usr/share/acl2-7.1/books/centaur/gl/glcp-config.cert
|
application/octet-stream | root:root | 0o644 | 63.9 KB |
/usr/share/acl2-7.1/books/centaur/gl/glcp-geval-thms.cert
|
application/octet-stream | root:root | 0o644 | 40.4 KB |
/usr/share/acl2-7.1/books/centaur/gl/glcp-geval.cert
|
application/octet-stream | root:root | 0o644 | 279.1 KB |
/usr/share/acl2-7.1/books/centaur/gl/glcp-templates.cert
|
application/octet-stream | root:root | 0o644 | 4.0 KB |
/usr/share/acl2-7.1/books/centaur/gl/glcp-unify-defs.cert
|
application/octet-stream | root:root | 0o644 | 29.1 KB |
/usr/share/acl2-7.1/books/centaur/gl/glcp-unify-thms.cert
|
application/octet-stream | root:root | 0o644 | 47.3 KB |
/usr/share/acl2-7.1/books/centaur/gl/gobject-type-thms.cert
|
application/octet-stream | root:root | 0o644 | 9.1 KB |
/usr/share/acl2-7.1/books/centaur/gl/gobject-types.cert
|
application/octet-stream | root:root | 0o644 | 9.0 KB |
/usr/share/acl2-7.1/books/centaur/gl/gobjectp-thms.cert
|
application/octet-stream | root:root | 0o644 | 27.1 KB |
/usr/share/acl2-7.1/books/centaur/gl/gobjectp.cert
|
application/octet-stream | root:root | 0o644 | 27.0 KB |
/usr/share/acl2-7.1/books/centaur/gl/gtests.cert
|
application/octet-stream | root:root | 0o644 | 38.3 KB |
/usr/share/acl2-7.1/books/centaur/gl/gtype-thms.cert
|
application/octet-stream | root:root | 0o644 | 28.7 KB |
/usr/share/acl2-7.1/books/centaur/gl/gtypes.cert
|
application/octet-stream | root:root | 0o644 | 29.6 KB |
/usr/share/acl2-7.1/books/centaur/gl/hyp-fix.cert
|
application/octet-stream | root:root | 0o644 | 113.0 KB |
/usr/share/acl2-7.1/books/centaur/gl/ite-merge.cert
|
application/octet-stream | root:root | 0o644 | 37.0 KB |
/usr/share/acl2-7.1/books/centaur/gl/param.cert
|
application/octet-stream | root:root | 0o644 | 31.8 KB |
/usr/share/acl2-7.1/books/centaur/gl/portcullis.cert
|
application/octet-stream | root:root | 0o644 | 8.1 KB |
/usr/share/acl2-7.1/books/centaur/gl/rewrites.cert
|
application/octet-stream | root:root | 0o644 | 42.0 KB |
/usr/share/acl2-7.1/books/centaur/gl/run-gified-cp.cert
|
application/octet-stream | root:root | 0o644 | 35.2 KB |
/usr/share/acl2-7.1/books/centaur/gl/rws.cert
|
application/octet-stream | root:root | 0o644 | 40.1 KB |
/usr/share/acl2-7.1/books/centaur/gl/shape-spec-defs.cert
|
application/octet-stream | root:root | 0o644 | 30.4 KB |
/usr/share/acl2-7.1/books/centaur/gl/shape-spec.cert
|
application/octet-stream | root:root | 0o644 | 307.4 KB |
/usr/share/acl2-7.1/books/centaur/gl/split-args.cert
|
application/octet-stream | root:root | 0o644 | 28.8 KB |
/usr/share/acl2-7.1/books/centaur/gl/symbolic-arithmetic.cert
|
application/octet-stream | root:root | 0o644 | 133.5 KB |
/usr/share/acl2-7.1/books/centaur/gl/try-gl.cert
|
application/octet-stream | root:root | 0o644 | 48.4 KB |
/usr/share/acl2-7.1/books/centaur/gl/tutorial.cert
|
application/octet-stream | root:root | 0o644 | 30.1 KB |
/usr/share/acl2-7.1/books/centaur/gl/var-bounds.cert
|
application/octet-stream | root:root | 0o644 | 30.9 KB |