acl2-books-source 8.0dfsg-1 / usr / share / acl2-8.0dfsg / books / acl2s

This file is indexed.

/usr/share/acl2-8.0dfsg/books/acl2s/ is in acl2-books-source 8.0dfsg-1.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/acl2-8.0dfsg/books/acl2s/base-theory.lisp text/x-lisp root:root 0o644 4.2 KB
/usr/share/acl2-8.0dfsg/books/acl2s/ccg/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/acl2s/ccg/ccg-settings-dependencies.lisp text/plain root:root 0o644 106 bytes
/usr/share/acl2-8.0dfsg/books/acl2s/ccg/ccg.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/acl2s/ccg/ccg.lisp text/x-lisp root:root 0o644 345.1 KB
/usr/share/acl2-8.0dfsg/books/acl2s/cert.acl2 text/plain root:root 0o644 693 bytes
/usr/share/acl2-8.0dfsg/books/acl2s/cgen/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/acl2s/cgen/acl2s-parameter.lisp text/x-lisp root:root 0o644 19.1 KB
/usr/share/acl2-8.0dfsg/books/acl2s/cgen/base-cgen-rules.lisp text/x-lisp root:root 0o644 9.2 KB
/usr/share/acl2-8.0dfsg/books/acl2s/cgen/basis.lisp text/plain root:root 0o644 24.8 KB
/usr/share/acl2-8.0dfsg/books/acl2s/cgen/build-enumcalls.lisp text/x-lisp root:root 0o644 28.6 KB
/usr/share/acl2-8.0dfsg/books/acl2s/cgen/callback.lisp text/x-lisp root:root 0o644 33.7 KB
/usr/share/acl2-8.0dfsg/books/acl2s/cgen/cert.acl2 text/plain root:root 0o644 315 bytes
/usr/share/acl2-8.0dfsg/books/acl2s/cgen/cgen-rules.lisp text/x-lisp root:root 0o644 20.3 KB
/usr/share/acl2-8.0dfsg/books/acl2s/cgen/cgen-search.lisp text/x-lisp root:root 0o644 15.4 KB
/usr/share/acl2-8.0dfsg/books/acl2s/cgen/cgen-state.lisp text/x-lisp root:root 0o644 17.9 KB
/usr/share/acl2-8.0dfsg/books/acl2s/cgen/fixers-gl-backend.lisp text/x-lisp root:root 0o644 52.0 KB
/usr/share/acl2-8.0dfsg/books/acl2s/cgen/fixers-greedy.lisp text/x-lisp root:root 0o644 35.3 KB
/usr/share/acl2-8.0dfsg/books/acl2s/cgen/fixers2.lisp text/x-lisp root:root 0o644 44.0 KB
/usr/share/acl2-8.0dfsg/books/acl2s/cgen/incremental-search.lisp text/x-lisp root:root 0o644 18.0 KB
/usr/share/acl2-8.0dfsg/books/acl2s/cgen/infer-enum-shape.lisp text/x-lisp root:root 0o644 30.5 KB
/usr/share/acl2-8.0dfsg/books/acl2s/cgen/propagate.lisp text/x-lisp root:root 0o644 12.0 KB
/usr/share/acl2-8.0dfsg/books/acl2s/cgen/prove-cgen.lisp text/x-lisp root:root 0o644 37.6 KB
/usr/share/acl2-8.0dfsg/books/acl2s/cgen/select.lisp text/x-lisp root:root 0o644 18.4 KB
/usr/share/acl2-8.0dfsg/books/acl2s/cgen/simple-graph-array.lisp text/x-lisp root:root 0o644 14.3 KB
/usr/share/acl2-8.0dfsg/books/acl2s/cgen/simple-search.lisp text/plain root:root 0o644 40.8 KB
/usr/share/acl2-8.0dfsg/books/acl2s/cgen/top.lisp text/x-lisp root:root 0o644 17.1 KB
/usr/share/acl2-8.0dfsg/books/acl2s/cgen/type.lisp text/x-lisp root:root 0o644 26.8 KB
/usr/share/acl2-8.0dfsg/books/acl2s/cgen/utilities.lisp text/x-lisp root:root 0o644 36.8 KB
/usr/share/acl2-8.0dfsg/books/acl2s/cgen/with-timeout.lisp text/plain root:root 0o644 2.8 KB
/usr/share/acl2-8.0dfsg/books/acl2s/custom.lisp text/x-lisp root:root 0o644 10.1 KB
/usr/share/acl2-8.0dfsg/books/acl2s/defdata/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/acl2s/defdata/alistof.lisp text/x-lisp root:root 0o644 5.0 KB
/usr/share/acl2-8.0dfsg/books/acl2s/defdata/base.lisp text/x-lisp root:root 0o644 53.9 KB
/usr/share/acl2-8.0dfsg/books/acl2s/defdata/builtin-combinators.lisp text/x-lisp root:root 0o644 20.9 KB
/usr/share/acl2-8.0dfsg/books/acl2s/defdata/cert.acl2 text/plain root:root 0o644 121 bytes
/usr/share/acl2-8.0dfsg/books/acl2s/defdata/defdata-attach.lisp text/x-lisp root:root 0o644 11.0 KB
/usr/share/acl2-8.0dfsg/books/acl2s/defdata/defdata-core.lisp text/x-lisp root:root 0o644 59.2 KB
/usr/share/acl2-8.0dfsg/books/acl2s/defdata/defdata-util.lisp text/x-lisp root:root 0o644 35.0 KB
/usr/share/acl2-8.0dfsg/books/acl2s/defdata/enumerators-gen.lisp text/x-lisp root:root 0o644 15.9 KB
/usr/share/acl2-8.0dfsg/books/acl2s/defdata/library-support.lisp text/x-lisp root:root 0o644 5.6 KB
/usr/share/acl2-8.0dfsg/books/acl2s/defdata/listof.lisp text/x-lisp root:root 0o644 4.6 KB
/usr/share/acl2-8.0dfsg/books/acl2s/defdata/map.lisp text/plain root:root 0o644 9.5 KB
/usr/share/acl2-8.0dfsg/books/acl2s/defdata/mv-proof.lisp text/x-lisp root:root 0o644 812 bytes
/usr/share/acl2-8.0dfsg/books/acl2s/defdata/num-list-fns.lisp text/x-lisp root:root 0o644 4.3 KB
/usr/share/acl2-8.0dfsg/books/acl2s/defdata/num-list-thms.lisp text/plain root:root 0o644 12.3 KB
/usr/share/acl2-8.0dfsg/books/acl2s/defdata/random-state-basis1.lisp text/x-lisp root:root 0o644 5.0 KB
/usr/share/acl2-8.0dfsg/books/acl2s/defdata/random-state.lisp text/x-lisp root:root 0o644 17.0 KB
/usr/share/acl2-8.0dfsg/books/acl2s/defdata/record.lisp text/x-lisp root:root 0o644 30.9 KB
/usr/share/acl2-8.0dfsg/books/acl2s/defdata/register-combinator.lisp text/x-lisp root:root 0o644 3.2 KB
/usr/share/acl2-8.0dfsg/books/acl2s/defdata/register-data-constructor.lisp text/x-lisp root:root 0o644 4.9 KB
/usr/share/acl2-8.0dfsg/books/acl2s/defdata/register-type.lisp text/x-lisp root:root 0o644 6.3 KB
/usr/share/acl2-8.0dfsg/books/acl2s/defdata/rem-and-floor.lisp text/plain root:root 0o644 2.5 KB
/usr/share/acl2-8.0dfsg/books/acl2s/defdata/sig.lisp text/x-lisp root:root 0o644 32.0 KB
/usr/share/acl2-8.0dfsg/books/acl2s/defdata/splitnat.lisp text/x-lisp root:root 0o644 27.3 KB
/usr/share/acl2-8.0dfsg/books/acl2s/defdata/switchnat.lisp text/x-lisp root:root 0o644 10.3 KB
/usr/share/acl2-8.0dfsg/books/acl2s/defdata/tau-characterization.lisp text/x-lisp root:root 0o644 24.6 KB
/usr/share/acl2-8.0dfsg/books/acl2s/defdata/top.lisp text/x-lisp root:root 0o644 15.7 KB
/usr/share/acl2-8.0dfsg/books/acl2s/defdata/var-book.lisp text/x-lisp root:root 0o644 5.5 KB
/usr/share/acl2-8.0dfsg/books/acl2s/defunc.lisp text/x-lisp root:root 0o644 45.4 KB
/usr/share/acl2-8.0dfsg/books/acl2s/demos/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/acl2s/demos/alloy-support.lisp text/x-lisp root:root 0o644 3.0 KB
/usr/share/acl2-8.0dfsg/books/acl2s/demos/cert.acl2 text/plain root:root 0o644 325 bytes
/usr/share/acl2-8.0dfsg/books/acl2s/demos/dsp-defthms.lisp text/plain root:root 0o644 37.8 KB
/usr/share/acl2-8.0dfsg/books/acl2s/demos/dsp-defuns.lisp text/x-lisp root:root 0o644 13.6 KB
/usr/share/acl2-8.0dfsg/books/acl2s/demos/dsp-fixer-rules.lisp text/plain root:root 0o644 6.6 KB
/usr/share/acl2-8.0dfsg/books/acl2s/demos/dsp-preservation-rules.lisp text/plain root:root 0o644 5.3 KB
/usr/share/acl2-8.0dfsg/books/acl2s/demos/dsp-type-and-fixer-defuns.lisp text/x-lisp root:root 0o644 15.1 KB
/usr/share/acl2-8.0dfsg/books/acl2s/demos/refinement-sfm06-with-hazards.lisp text/x-lisp root:root 0o644 34.9 KB
/usr/share/acl2-8.0dfsg/books/acl2s/doc.lisp text/plain root:root 0o644 250 bytes
/usr/share/acl2-8.0dfsg/books/acl2s/mode-acl2s-dependencies.lisp text/plain root:root 0o644 1.7 KB
/usr/share/acl2-8.0dfsg/books/acl2s/portcullis.acl2 text/plain root:root 0o644 127 bytes
/usr/share/acl2-8.0dfsg/books/acl2s/portcullis.lisp text/plain root:root 0o644 205 bytes

APT Browse - Built by Thomas Orozco.