Paketin acl2-doc tiedostoluettelo jakelussa aramo arkkitehtuurilla all
/usr/share/doc/acl2-doc/changelog.Debian.gz /usr/share/doc/acl2-doc/copyright /usr/share/doc/acl2-doc/books/README.md.gz /usr/share/doc/acl2-doc/books/acl2s/ccg/README /usr/share/doc/acl2-doc/books/acl2s/demos/README /usr/share/doc/acl2-doc/books/add-ons/README /usr/share/doc/acl2-doc/books/arithmetic/README /usr/share/doc/acl2-doc/books/arithmetic-2/README /usr/share/doc/acl2-doc/books/arithmetic-2/meta/README /usr/share/doc/acl2-doc/books/arithmetic-2/pass1/arithmetic-axioms.txt.gz /usr/share/doc/acl2-doc/books/arithmetic-3/README.gz /usr/share/doc/acl2-doc/books/arithmetic-5/README.gz /usr/share/doc/acl2-doc/books/arithmetic-5/support/README /usr/share/doc/acl2-doc/books/bdd/README /usr/share/doc/acl2-doc/books/bdd/be/cath/add1.be /usr/share/doc/acl2-doc/books/bdd/be/cath/add2.be.gz /usr/share/doc/acl2-doc/books/bdd/be/cath/add3.be.gz /usr/share/doc/acl2-doc/books/bdd/be/cath/add4.be.gz /usr/share/doc/acl2-doc/books/bdd/be/cath/addsub.be.gz /usr/share/doc/acl2-doc/books/bdd/be/ex/mul03.be /usr/share/doc/acl2-doc/books/bdd/be/ex/mul04.be /usr/share/doc/acl2-doc/books/bdd/be/ex/mul05.be.gz /usr/share/doc/acl2-doc/books/bdd/be/ex/mul06.be.gz /usr/share/doc/acl2-doc/books/bdd/be/ex/mul07.be.gz /usr/share/doc/acl2-doc/books/bdd/be/ex/mul08.be.gz /usr/share/doc/acl2-doc/books/bdd/be/ex/rip02.be /usr/share/doc/acl2-doc/books/bdd/be/ex/rip04.be /usr/share/doc/acl2-doc/books/bdd/be/ex/rip06.be /usr/share/doc/acl2-doc/books/bdd/be/ex/rip08.be /usr/share/doc/acl2-doc/books/bdd/be/ex/transp.be /usr/share/doc/acl2-doc/books/bdd/be/ex/ztwaalf1.be /usr/share/doc/acl2-doc/books/bdd/be/ex/ztwaalf2.be /usr/share/doc/acl2-doc/books/build/jenkins/README.md /usr/share/doc/acl2-doc/books/build/test-ifdef-define/README /usr/share/doc/acl2-doc/books/centaur/README.html /usr/share/doc/acl2-doc/books/centaur/bridge/ruby/README /usr/share/doc/acl2-doc/books/centaur/sv/cosims/README /usr/share/doc/acl2-doc/books/centaur/sv/failtest/README.gz /usr/share/doc/acl2-doc/books/centaur/vl/README /usr/share/doc/acl2-doc/books/centaur/vl2014/failtest/README /usr/share/doc/acl2-doc/books/centaur/vl2014/systest/README /usr/share/doc/acl2-doc/books/centaur/vl2014/talks/README /usr/share/doc/acl2-doc/books/clause-processors/SULFA/README.gz /usr/share/doc/acl2-doc/books/clause-processors/SULFA/smt-examples/smt-lib-crafted/README /usr/share/doc/acl2-doc/books/coi/README-coi.html /usr/share/doc/acl2-doc/books/coi/bags/README /usr/share/doc/acl2-doc/books/coi/defstructure/README /usr/share/doc/acl2-doc/books/coi/dtrees/README /usr/share/doc/acl2-doc/books/coi/osets/README /usr/share/doc/acl2-doc/books/coi/paths/README /usr/share/doc/acl2-doc/books/coi/records/fast/README /usr/share/doc/acl2-doc/books/cowles/README /usr/share/doc/acl2-doc/books/data-structures/README /usr/share/doc/acl2-doc/books/defexec/README /usr/share/doc/acl2-doc/books/defexec/dag-unification/README /usr/share/doc/acl2-doc/books/defexec/find-path/README /usr/share/doc/acl2-doc/books/defexec/find-path/graph/README /usr/share/doc/acl2-doc/books/demos/big-proof-talks/README /usr/share/doc/acl2-doc/books/demos/marktoberdorf-08/README /usr/share/doc/acl2-doc/books/demos/tutorial-problems/README /usr/share/doc/acl2-doc/books/demos/tutorial-problems/equivalence-of-two-functions/README /usr/share/doc/acl2-doc/books/finite-set-theory/README /usr/share/doc/acl2-doc/books/ihs/README.gz /usr/share/doc/acl2-doc/books/interface/README /usr/share/doc/acl2-doc/books/interface/emacs/README /usr/share/doc/acl2-doc/books/interface/emacs/README-mouse /usr/share/doc/acl2-doc/books/interface/emacs/README-mouse.doc.gz /usr/share/doc/acl2-doc/books/interface/emacs/README-mouse.mss.gz /usr/share/doc/acl2-doc/books/interface/emacs/README-mouse.ps.gz /usr/share/doc/acl2-doc/books/interface/infix/README.gz /usr/share/doc/acl2-doc/books/interface/infix/infix-examples.dvi.gz /usr/share/doc/acl2-doc/books/interface/infix/infix-examples.ps.gz /usr/share/doc/acl2-doc/books/kestrel/README.txt /usr/share/doc/acl2-doc/books/kestrel/abnf/README.txt /usr/share/doc/acl2-doc/books/kestrel/apt/README.txt /usr/share/doc/acl2-doc/books/kestrel/arithmetic-light/README.txt /usr/share/doc/acl2-doc/books/kestrel/auto-termination/README.gz /usr/share/doc/acl2-doc/books/kestrel/axe/README.md /usr/share/doc/acl2-doc/books/kestrel/axe/jvm/README.md /usr/share/doc/acl2-doc/books/kestrel/axe/x86/README.md /usr/share/doc/acl2-doc/books/kestrel/bitcoin/README.txt /usr/share/doc/acl2-doc/books/kestrel/crypto/blake/README.txt /usr/share/doc/acl2-doc/books/kestrel/crypto/r1cs/README.md /usr/share/doc/acl2-doc/books/kestrel/crypto/r1cs/gadgets/README.txt /usr/share/doc/acl2-doc/books/kestrel/crypto/r1cs/sparse/gadgets/README.txt /usr/share/doc/acl2-doc/books/kestrel/ethereum/README.txt /usr/share/doc/acl2-doc/books/kestrel/ethereum/semaphore/json/README.txt /usr/share/doc/acl2-doc/books/kestrel/hdwallet/README.md.gz /usr/share/doc/acl2-doc/books/kestrel/java/atj/images/README.txt /usr/share/doc/acl2-doc/books/kestrel/jvm/README.md /usr/share/doc/acl2-doc/books/kestrel/lists-light/README.txt /usr/share/doc/acl2-doc/books/kestrel/prime-fields/README.txt /usr/share/doc/acl2-doc/books/kestrel/soft/README.txt /usr/share/doc/acl2-doc/books/kestrel/terms-light/README.md /usr/share/doc/acl2-doc/books/kestrel/utilities/README.txt /usr/share/doc/acl2-doc/books/kestrel/x86/README.md /usr/share/doc/acl2-doc/books/meta/README /usr/share/doc/acl2-doc/books/misc/README.gz /usr/share/doc/acl2-doc/books/misc/simplify-defuns.txt.gz /usr/share/doc/acl2-doc/books/misc/hidden-defpkg-checks/README /usr/share/doc/acl2-doc/books/misc/misc2/README /usr/share/doc/acl2-doc/books/models/jvm/guard-verified-m1/README.gz /usr/share/doc/acl2-doc/books/models/jvm/m1/README.gz /usr/share/doc/acl2-doc/books/models/jvm/m5/README /usr/share/doc/acl2-doc/books/models/y86/README /usr/share/doc/acl2-doc/books/models/y86/y86-basic/y86/README /usr/share/doc/acl2-doc/books/nonstd/circles/area-of-a-circle/README.md /usr/share/doc/acl2-doc/books/nonstd/workshops/1999/README /usr/share/doc/acl2-doc/books/nonstd/workshops/1999/analysis/README /usr/share/doc/acl2-doc/books/nonstd/workshops/1999/calculus/README /usr/share/doc/acl2-doc/books/nonstd/workshops/1999/calculus/book/README /usr/share/doc/acl2-doc/books/nonstd/workshops/1999/calculus/solutions/README /usr/share/doc/acl2-doc/books/nonstd/workshops/2011/reid-gamboa-differentiator/README /usr/share/doc/acl2-doc/books/powerlists/README /usr/share/doc/acl2-doc/books/projects/apply/README /usr/share/doc/acl2-doc/books/projects/apply-model/README.gz /usr/share/doc/acl2-doc/books/projects/apply-model/ex1/README.gz /usr/share/doc/acl2-doc/books/projects/apply-model/ex2/README /usr/share/doc/acl2-doc/books/projects/apply-model-2/README.gz /usr/share/doc/acl2-doc/books/projects/apply-model-2/ex1/README.gz /usr/share/doc/acl2-doc/books/projects/apply-model-2/ex2/README /usr/share/doc/acl2-doc/books/projects/arm/README /usr/share/doc/acl2-doc/books/projects/arm/second/README /usr/share/doc/acl2-doc/books/projects/arm/utils/README /usr/share/doc/acl2-doc/books/projects/async/README /usr/share/doc/acl2-doc/books/projects/async/arbitration/README /usr/share/doc/acl2-doc/books/projects/async/fifo/README /usr/share/doc/acl2-doc/books/projects/async/gcd/README /usr/share/doc/acl2-doc/books/projects/async/serial-adder/README /usr/share/doc/acl2-doc/books/projects/async/telescope/README /usr/share/doc/acl2-doc/books/projects/codewalker/README /usr/share/doc/acl2-doc/books/projects/filesystems/README.md /usr/share/doc/acl2-doc/books/projects/fm9001/README /usr/share/doc/acl2-doc/books/projects/legacy-defrstobj/README.gz /usr/share/doc/acl2-doc/books/projects/milawa/README /usr/share/doc/acl2-doc/books/projects/milawa/ACL2/README /usr/share/doc/acl2-doc/books/projects/oracle/README /usr/share/doc/acl2-doc/books/projects/quadratic-reciprocity/README /usr/share/doc/acl2-doc/books/projects/rac/README.gz /usr/share/doc/acl2-doc/books/projects/rac/bin/README /usr/share/doc/acl2-doc/books/projects/rac/examples/README /usr/share/doc/acl2-doc/books/projects/sat/lrat/README /usr/share/doc/acl2-doc/books/projects/sat/lrat/cube/README /usr/share/doc/acl2-doc/books/projects/sat/lrat/early/README /usr/share/doc/acl2-doc/books/projects/sat/lrat/early/rev1/README /usr/share/doc/acl2-doc/books/projects/sat/lrat/early/rev2/README /usr/share/doc/acl2-doc/books/projects/sat/lrat/incremental/README /usr/share/doc/acl2-doc/books/projects/sat/lrat/list-based/README /usr/share/doc/acl2-doc/books/projects/sat/lrat/sorted/README /usr/share/doc/acl2-doc/books/projects/sat/lrat/stobj-based/README /usr/share/doc/acl2-doc/books/projects/sat/lrat/tests/README /usr/share/doc/acl2-doc/books/projects/sat/proof-checker-itp13/README /usr/share/doc/acl2-doc/books/projects/sat/zz-resolution-checker/README /usr/share/doc/acl2-doc/books/projects/sb-machine/README /usr/share/doc/acl2-doc/books/projects/smtlink/README.md /usr/share/doc/acl2-doc/books/projects/smtlink/trusted/SMT-lib/README.md /usr/share/doc/acl2-doc/books/projects/smtlink/trusted/z3-py/README.md /usr/share/doc/acl2-doc/books/projects/smtlink/z3_interface/README.md /usr/share/doc/acl2-doc/books/projects/srt/README /usr/share/doc/acl2-doc/books/projects/stateman/README /usr/share/doc/acl2-doc/books/projects/symbolic/README /usr/share/doc/acl2-doc/books/projects/taspi/code/README /usr/share/doc/acl2-doc/books/projects/translators/l3-to-acl2/README.gz /usr/share/doc/acl2-doc/books/projects/translators/l3-to-acl2/examples/README /usr/share/doc/acl2-doc/books/projects/translators/l3-to-acl2/examples/mips/README /usr/share/doc/acl2-doc/books/projects/translators/l3-to-acl2/examples/thacker/README /usr/share/doc/acl2-doc/books/projects/translators/l3-to-acl2/examples/x86-64/README /usr/share/doc/acl2-doc/books/projects/translators/l3-to-acl2/misc/README /usr/share/doc/acl2-doc/books/projects/translators/l3-to-acl2/translator/README /usr/share/doc/acl2-doc/books/projects/x86isa/README /usr/share/doc/acl2-doc/books/projects/x86isa/machine/shared/README-check-rdrand /usr/share/doc/acl2-doc/books/projects/x86isa/machine/shared/README-creating-a-dylib /usr/share/doc/acl2-doc/books/projects/x86isa/tools/execution/examples/README /usr/share/doc/acl2-doc/books/projects/x86isa/tools/execution/examples/documenting-edge-cases/README /usr/share/doc/acl2-doc/books/proofstyles/counterexamples/README /usr/share/doc/acl2-doc/books/quicklisp/bundle/local-projects/bordeaux-threads/README /usr/share/doc/acl2-doc/books/quicklisp/bundle/local-projects/fastnumio/README.md /usr/share/doc/acl2-doc/books/quicklisp/bundle/software/alexandria-20200715-git/README /usr/share/doc/acl2-doc/books/quicklisp/bundle/software/babel-20200715-git/README.md /usr/share/doc/acl2-doc/books/quicklisp/bundle/software/bordeaux-threads-v0.8.8/README /usr/share/doc/acl2-doc/books/quicklisp/bundle/software/bt-semaphore-20180711-git/README.md.gz /usr/share/doc/acl2-doc/books/quicklisp/bundle/software/cffi_0.23.0/README.md /usr/share/doc/acl2-doc/books/quicklisp/bundle/software/cl+ssl-20200610-git/README.md /usr/share/doc/acl2-doc/books/quicklisp/bundle/software/cl-fad-20200610-git/README /usr/share/doc/acl2-doc/books/quicklisp/bundle/software/cl-ppcre-20190521-git/README.md /usr/share/doc/acl2-doc/books/quicklisp/bundle/software/flexi-streams-20200715-git/README.md /usr/share/doc/acl2-doc/books/quicklisp/bundle/software/flexi-streams-20200715-git/test/README /usr/share/doc/acl2-doc/books/quicklisp/bundle/software/html-template-20171227-git/README.md /usr/share/doc/acl2-doc/books/quicklisp/bundle/software/hunchentoot-v1.3.0/README.md /usr/share/doc/acl2-doc/books/quicklisp/bundle/software/md5-20180228-git/README.md /usr/share/doc/acl2-doc/books/quicklisp/bundle/software/osicat-20200715-git/README.md /usr/share/doc/acl2-doc/books/quicklisp/bundle/software/rfc2388-20180831-git/README.md /usr/share/doc/acl2-doc/books/quicklisp/bundle/software/shellpool-20200610-git/README.md /usr/share/doc/acl2-doc/books/quicklisp/bundle/software/shellpool-20200610-git/test/README.md /usr/share/doc/acl2-doc/books/quicklisp/bundle/software/shellpool-20200610-git/test/auto/README.md /usr/share/doc/acl2-doc/books/quicklisp/bundle/software/split-sequence-v2.0.0/README.md /usr/share/doc/acl2-doc/books/quicklisp/bundle/software/trivial-features-20200715-git/README.md /usr/share/doc/acl2-doc/books/quicklisp/bundle/software/trivial-garbage-20200325-git/README.md /usr/share/doc/acl2-doc/books/quicklisp/bundle/software/trivial-gray-streams-20181018-git/README /usr/share/doc/acl2-doc/books/quicklisp/bundle/software/uiop-3.3.4/README.md.gz /usr/share/doc/acl2-doc/books/quicklisp/bundle/software/usocket-0.8.3/README.md.gz /usr/share/doc/acl2-doc/books/rtl/README.gz /usr/share/doc/acl2-doc/books/rtl/rel1/README /usr/share/doc/acl2-doc/books/rtl/rel11/rel9-rtl-pkg/README.gz /usr/share/doc/acl2-doc/books/rtl/rel11/rel9-rtl-pkg/arithmetic/README /usr/share/doc/acl2-doc/books/rtl/rel11/rel9-rtl-pkg/support/README /usr/share/doc/acl2-doc/books/rtl/rel11/rel9-rtl-pkg/support/lib1/README /usr/share/doc/acl2-doc/books/rtl/rel11/rel9-rtl-pkg/support/lib1.delta1/README /usr/share/doc/acl2-doc/books/rtl/rel11/rel9-rtl-pkg/support/lib2/README /usr/share/doc/acl2-doc/books/rtl/rel11/rel9-rtl-pkg/support/support/README /usr/share/doc/acl2-doc/books/rtl/rel4/README.gz /usr/share/doc/acl2-doc/books/rtl/rel4/arithmetic/README /usr/share/doc/acl2-doc/books/rtl/rel4/lib/README /usr/share/doc/acl2-doc/books/rtl/rel4/support/README /usr/share/doc/acl2-doc/books/rtl/rel4/user/README /usr/share/doc/acl2-doc/books/rtl/rel9/README.gz /usr/share/doc/acl2-doc/books/rtl/rel9/arithmetic/README /usr/share/doc/acl2-doc/books/rtl/rel9/support/README /usr/share/doc/acl2-doc/books/rtl/rel9/support/lib1/README /usr/share/doc/acl2-doc/books/rtl/rel9/support/lib1.delta1/README /usr/share/doc/acl2-doc/books/rtl/rel9/support/lib2/README /usr/share/doc/acl2-doc/books/rtl/rel9/support/support/README /usr/share/doc/acl2-doc/books/system/doc/README /usr/share/doc/acl2-doc/books/system/doc/convert-legacy-doc/README /usr/share/doc/acl2-doc/books/system/tests/abstract-stobj-nesting/README /usr/share/doc/acl2-doc/books/system/tests/early-load-of-compiled/README.txt /usr/share/doc/acl2-doc/books/system/toothbrush/README /usr/share/doc/acl2-doc/books/textbook/README.gz /usr/share/doc/acl2-doc/books/textbook/index.html /usr/share/doc/acl2-doc/books/textbook/chap10/README /usr/share/doc/acl2-doc/books/textbook/chap11/README /usr/share/doc/acl2-doc/books/textbook/chap3/README /usr/share/doc/acl2-doc/books/textbook/chap3/solutions.txt.gz /usr/share/doc/acl2-doc/books/textbook/chap4/README /usr/share/doc/acl2-doc/books/textbook/chap5/README /usr/share/doc/acl2-doc/books/textbook/chap6/README /usr/share/doc/acl2-doc/books/textbook/chap6/solutions.txt.gz /usr/share/doc/acl2-doc/books/textbook/chap7/README /usr/share/doc/acl2-doc/books/textbook/chap7/solutions.txt.gz /usr/share/doc/acl2-doc/books/tools/book-conflicts/README /usr/share/doc/acl2-doc/books/workshops/1999/README /usr/share/doc/acl2-doc/books/workshops/1999/analysis/README /usr/share/doc/acl2-doc/books/workshops/1999/calculus/README /usr/share/doc/acl2-doc/books/workshops/1999/calculus/book/README /usr/share/doc/acl2-doc/books/workshops/1999/calculus/solutions/README /usr/share/doc/acl2-doc/books/workshops/1999/compiler/README /usr/share/doc/acl2-doc/books/workshops/1999/de-hdl/README /usr/share/doc/acl2-doc/books/workshops/1999/embedded/README /usr/share/doc/acl2-doc/books/workshops/1999/embedded/Exercises/Exercise1-1/README /usr/share/doc/acl2-doc/books/workshops/1999/embedded/Exercises/Exercise1-2/README /usr/share/doc/acl2-doc/books/workshops/1999/embedded/Exercises/Exercise1-3/README /usr/share/doc/acl2-doc/books/workshops/1999/embedded/Proof-Of-Contribution/README /usr/share/doc/acl2-doc/books/workshops/1999/graph/README /usr/share/doc/acl2-doc/books/workshops/1999/ivy/README /usr/share/doc/acl2-doc/books/workshops/1999/ivy/ivy-v2/README /usr/share/doc/acl2-doc/books/workshops/1999/ivy/ivy-v2/ivy-sources/README /usr/share/doc/acl2-doc/books/workshops/1999/ivy/ivy-v2/ivy-sources/README.original /usr/share/doc/acl2-doc/books/workshops/1999/ivy/ivy-v2/ivy-sources/examples/README /usr/share/doc/acl2-doc/books/workshops/1999/ivy/ivy-v2/ivy-sources/exercises/README /usr/share/doc/acl2-doc/books/workshops/1999/ivy/ivy-v2/ivy-sources/test/README /usr/share/doc/acl2-doc/books/workshops/1999/knuth-91/README /usr/share/doc/acl2-doc/books/workshops/1999/mu-calculus/README /usr/share/doc/acl2-doc/books/workshops/1999/mu-calculus/book/README /usr/share/doc/acl2-doc/books/workshops/1999/mu-calculus/solutions/README /usr/share/doc/acl2-doc/books/workshops/1999/multiplier/README /usr/share/doc/acl2-doc/books/workshops/1999/pipeline/README /usr/share/doc/acl2-doc/books/workshops/1999/simulator/README /usr/share/doc/acl2-doc/books/workshops/1999/ste/README /usr/share/doc/acl2-doc/books/workshops/1999/vhdl/README /usr/share/doc/acl2-doc/books/workshops/2000/README /usr/share/doc/acl2-doc/books/workshops/2000/cowles/books/README /usr/share/doc/acl2-doc/books/workshops/2000/lusk-mccune/lusk-mccune-final/README /usr/share/doc/acl2-doc/books/workshops/2000/manolios/pipeline/README /usr/share/doc/acl2-doc/books/workshops/2000/manolios/pipeline/pipeline/README.gz /usr/share/doc/acl2-doc/books/workshops/2000/manolios/pipeline/pipeline/deterministic-systems/128/top/README /usr/share/doc/acl2-doc/books/workshops/2000/manolios/pipeline/trivial/README /usr/share/doc/acl2-doc/books/workshops/2000/manolios/pipeline/trivial/sawada-model/README /usr/share/doc/acl2-doc/books/workshops/2000/medina/polynomials/README /usr/share/doc/acl2-doc/books/workshops/2000/moore-manolios/partial-functions/README /usr/share/doc/acl2-doc/books/workshops/2000/ruiz/multiset/README.html /usr/share/doc/acl2-doc/books/workshops/2000/sumners1/cdeq/README /usr/share/doc/acl2-doc/books/workshops/2000/sumners2/bdds/README /usr/share/doc/acl2-doc/books/workshops/2002/README /usr/share/doc/acl2-doc/books/workshops/2002/georgelin-borrione-ostier/support/README /usr/share/doc/acl2-doc/books/workshops/2002/manolios-kaufmann/support/total-order/README /usr/share/doc/acl2-doc/books/workshops/2002/medina-palomo-alonso/support/section-2/README /usr/share/doc/acl2-doc/books/workshops/2002/medina-palomo-alonso/support/section-3/README /usr/share/doc/acl2-doc/books/workshops/2002/ray-sumners/README /usr/share/doc/acl2-doc/books/workshops/2002/ruiz-alonso-hidalgo-martin-dags/support/README /usr/share/doc/acl2-doc/books/workshops/2003/README /usr/share/doc/acl2-doc/books/workshops/2003/greve-wilding_mbe/support/README /usr/share/doc/acl2-doc/books/workshops/2003/kaufmann/support/README /usr/share/doc/acl2-doc/books/workshops/2003/kaufmann/support/rtl/README /usr/share/doc/acl2-doc/books/workshops/2003/moore_vcg/support/README /usr/share/doc/acl2-doc/books/workshops/2003/sumners/support/README /usr/share/doc/acl2-doc/books/workshops/2004/README /usr/share/doc/acl2-doc/books/workshops/2004/davis/support/README /usr/share/doc/acl2-doc/books/workshops/2004/gameiro-manolios/support/README /usr/share/doc/acl2-doc/books/workshops/2004/legato/support/nqthm/README /usr/share/doc/acl2-doc/books/workshops/2004/manolios-srinivasan/support/README /usr/share/doc/acl2-doc/books/workshops/2004/ruiz-et-al/support/README /usr/share/doc/acl2-doc/books/workshops/2004/ruiz-et-al/support/dag-quadratic-C/README /usr/share/doc/acl2-doc/books/workshops/2004/smith-et-al/support/README /usr/share/doc/acl2-doc/books/workshops/2004/smith-et-al/support/bags/README /usr/share/doc/acl2-doc/books/workshops/2006/README /usr/share/doc/acl2-doc/books/workshops/2006/pike-shields-matthews/core_verifier/README /usr/share/doc/acl2-doc/books/workshops/2007/README /usr/share/doc/acl2-doc/books/workshops/2007/dillinger-et-al/code/README /usr/share/doc/acl2-doc/books/workshops/2009/README /usr/share/doc/acl2-doc/books/workshops/2009/gamboa-cowles-inverses/README /usr/share/doc/acl2-doc/books/workshops/2009/greve-quantifiers/README /usr/share/doc/acl2-doc/books/workshops/2009/greve-termination/README /usr/share/doc/acl2-doc/books/workshops/2009/kaufmann-kornerup-reitblatt/support/README /usr/share/doc/acl2-doc/books/workshops/2009/liu/support/README /usr/share/doc/acl2-doc/books/workshops/2009/moore/README /usr/share/doc/acl2-doc/books/workshops/2009/pierre-clavel-leveugle/Fault-tolerance/README.txt /usr/share/doc/acl2-doc/books/workshops/2009/rager/README /usr/share/doc/acl2-doc/books/workshops/2009/sumners/support/README /usr/share/doc/acl2-doc/books/workshops/2009/vandenbroek-schmaltz/GeNoC/README /usr/share/doc/acl2-doc/books/workshops/2011/README /usr/share/doc/acl2-doc/books/workshops/2011/krug-et-al/support/README /usr/share/doc/acl2-doc/books/workshops/2011/krug-et-al/support/Memory/README /usr/share/doc/acl2-doc/books/workshops/2011/krug-et-al/support/Utilities/README /usr/share/doc/acl2-doc/books/workshops/2011/reid-gamboa-differentiator/README /usr/share/doc/acl2-doc/books/workshops/2013/README /usr/share/doc/acl2-doc/books/workshops/2013/davis-swords/README /usr/share/doc/acl2-doc/books/workshops/2013/greve-slind/README /usr/share/doc/acl2-doc/books/workshops/2013/verbeek-schmaltz/books/README /usr/share/doc/acl2-doc/books/workshops/2014/davis-kaufmann/README /usr/share/doc/acl2-doc/books/workshops/2014/heras-komendantskaya/support/README /usr/share/doc/acl2-doc/books/workshops/2014/puri-ray-hao-xie/support/README.gz /usr/share/doc/acl2-doc/books/workshops/2014/russinoff-oleary/support/README /usr/share/doc/acl2-doc/books/workshops/2015/README /usr/share/doc/acl2-doc/books/workshops/2015/chau-kaufmann-hunt/support/README /usr/share/doc/acl2-doc/books/workshops/2015/peng-greenstreet/support/README /usr/share/doc/acl2-doc/books/workshops/2017/README /usr/share/doc/acl2-doc/books/workshops/2017/coglio-kaufmann-smith/README.txt /usr/share/doc/acl2-doc/books/workshops/2017/coglio-kaufmann-smith/support/README.txt /usr/share/doc/acl2-doc/books/workshops/2017/kaufmann-swords/support/README /usr/share/doc/acl2-doc/books/workshops/2017/sumners/support/README /usr/share/doc/acl2-doc/books/workshops/2017/swords/support/README /usr/share/doc/acl2-doc/books/workshops/2018/README /usr/share/doc/acl2-doc/books/workshops/2018/coglio/README /usr/share/doc/acl2-doc/books/workshops/2018/coglio-goel/README /usr/share/doc/acl2-doc/books/workshops/2018/kaufmann/README.gz /usr/share/doc/acl2-doc/books/workshops/2018/kwan-greenstreet/README /usr/share/doc/acl2-doc/books/workshops/2018/mehta/README.md /usr/share/doc/acl2-doc/books/workshops/2018/peng-greenstreet/README /usr/share/doc/acl2-doc/books/workshops/2018/swords-hint-orchestration/README /usr/share/doc/acl2-doc/books/workshops/2018/swords-incremental-sat/README /usr/share/doc/acl2-doc/books/workshops/2020/README /usr/share/doc/acl2-doc/books/workshops/2020/coglio/README /usr/share/doc/acl2-doc/books/workshops/2020/coglio-westfold/README /usr/share/doc/acl2-doc/books/workshops/2020/coglio-westfold/drone-plan/README /usr/share/doc/acl2-doc/books/workshops/2020/greve/README.md /usr/share/doc/acl2-doc/books/workshops/2020/hardin/README.md /usr/share/doc/acl2-doc/books/workshops/2020/kaufmann-moore/README /usr/share/doc/acl2-doc/books/workshops/2020/mert/README /usr/share/doc/acl2-doc/books/workshops/2020/peng-greenstreet/README.md /usr/share/doc/acl2-doc/books/workshops/references/README.org /usr/share/doc/acl2-doc/books/xdoc/classic/README /usr/share/doc/acl2-doc/books/xdoc/fancy/README.gz /usr/share/doc/acl2-doc/books/xdoc/fancy/lib/katex/README.md.gz /usr/share/doc/acl2-doc/doc/README /usr/share/doc/acl2-doc/doc/acl2-code-size.txt /usr/share/doc/acl2-doc/doc/acl2.1 /usr/share/doc/acl2-doc/doc/create-acl2-code-size /usr/share/doc/acl2-doc/doc/create-doc /usr/share/doc/acl2-doc/doc/home-page.html /usr/share/doc/acl2-doc/doc/home-page.lisp.gz /usr/share/doc/acl2-doc/doc/write-acl2-code-size.lisp.gz /usr/share/lintian/overrides/acl2-doc