acl2-doc (8.6+dfsg-3build1)

.
usr
usr/share
usr/share/doc
usr/share/doc/acl2-doc
usr/share/doc/acl2-doc/books
usr/share/doc/acl2-doc/books/acl2s
usr/share/doc/acl2-doc/books/acl2s/aspf
usr/share/doc/acl2-doc/books/acl2s/aspf/README.md
usr/share/doc/acl2-doc/books/acl2s/aspf/interface
usr/share/doc/acl2-doc/books/acl2s/aspf/interface/README.md
usr/share/doc/acl2-doc/books/acl2s/aspf/interface/acl2s-utils
usr/share/doc/acl2-doc/books/acl2s/aspf/interface/acl2s-utils/README.md
usr/share/doc/acl2-doc/books/acl2s/aspf/simple-tcp-service
usr/share/doc/acl2-doc/books/acl2s/aspf/simple-tcp-service/README.md
usr/share/doc/acl2-doc/books/acl2s/aspf/simple-tcp-service/examples
usr/share/doc/acl2-doc/books/acl2s/aspf/simple-tcp-service/examples/basic-json
usr/share/doc/acl2-doc/books/acl2s/aspf/simple-tcp-service/examples/basic-json/README.md
usr/share/doc/acl2-doc/books/acl2s/aspf/simple-tcp-service/examples/basic-server
usr/share/doc/acl2-doc/books/acl2s/aspf/simple-tcp-service/examples/basic-server/README.md
usr/share/doc/acl2-doc/books/acl2s/aspf/simple-tcp-service/python-interface
usr/share/doc/acl2-doc/books/acl2s/aspf/simple-tcp-service/python-interface/README.md
usr/share/doc/acl2-doc/books/acl2s/ccg
usr/share/doc/acl2-doc/books/acl2s/ccg/README
usr/share/doc/acl2-doc/books/acl2s/demos
usr/share/doc/acl2-doc/books/acl2s/demos/README
usr/share/doc/acl2-doc/books/acl2s/interface
usr/share/doc/acl2-doc/books/acl2s/interface/README.md
usr/share/doc/acl2-doc/books/add-ons
usr/share/doc/acl2-doc/books/add-ons/README
usr/share/doc/acl2-doc/books/arithmetic
usr/share/doc/acl2-doc/books/arithmetic/README
usr/share/doc/acl2-doc/books/arithmetic-2
usr/share/doc/acl2-doc/books/arithmetic-2/README
usr/share/doc/acl2-doc/books/arithmetic-2/meta
usr/share/doc/acl2-doc/books/arithmetic-2/meta/README
usr/share/doc/acl2-doc/books/arithmetic-2/pass1
usr/share/doc/acl2-doc/books/arithmetic-2/pass1/arithmetic-axioms.txt.gz
usr/share/doc/acl2-doc/books/arithmetic-3
usr/share/doc/acl2-doc/books/arithmetic-3/README.gz
usr/share/doc/acl2-doc/books/arithmetic-5
usr/share/doc/acl2-doc/books/arithmetic-5/README.gz
usr/share/doc/acl2-doc/books/arithmetic-5/support
usr/share/doc/acl2-doc/books/arithmetic-5/support/README
usr/share/doc/acl2-doc/books/bdd
usr/share/doc/acl2-doc/books/bdd/README
usr/share/doc/acl2-doc/books/bdd/be
usr/share/doc/acl2-doc/books/bdd/be/cath
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
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
usr/share/doc/acl2-doc/books/build/commands-that-fail
usr/share/doc/acl2-doc/books/build/commands-that-fail/README.txt
usr/share/doc/acl2-doc/books/build/jenkins
usr/share/doc/acl2-doc/books/build/jenkins/README.md
usr/share/doc/acl2-doc/books/build/test-ifdef-define
usr/share/doc/acl2-doc/books/build/test-ifdef-define/README
usr/share/doc/acl2-doc/books/centaur
usr/share/doc/acl2-doc/books/centaur/README.html
usr/share/doc/acl2-doc/books/centaur/bridge
usr/share/doc/acl2-doc/books/centaur/bridge/ruby
usr/share/doc/acl2-doc/books/centaur/bridge/ruby/README
usr/share/doc/acl2-doc/books/centaur/sv
usr/share/doc/acl2-doc/books/centaur/sv/cosims
usr/share/doc/acl2-doc/books/centaur/sv/cosims/README
usr/share/doc/acl2-doc/books/centaur/sv/failtest
usr/share/doc/acl2-doc/books/centaur/sv/failtest/README.gz
usr/share/doc/acl2-doc/books/centaur/sv/tutorial
usr/share/doc/acl2-doc/books/centaur/sv/tutorial/srt-div
usr/share/doc/acl2-doc/books/centaur/sv/tutorial/srt-div/README
usr/share/doc/acl2-doc/books/centaur/vl
usr/share/doc/acl2-doc/books/centaur/vl/README
usr/share/doc/acl2-doc/books/centaur/vl2014
usr/share/doc/acl2-doc/books/centaur/vl2014/failtest
usr/share/doc/acl2-doc/books/centaur/vl2014/failtest/README
usr/share/doc/acl2-doc/books/centaur/vl2014/systest
usr/share/doc/acl2-doc/books/centaur/vl2014/systest/README
usr/share/doc/acl2-doc/books/centaur/vl2014/talks
usr/share/doc/acl2-doc/books/centaur/vl2014/talks/README
usr/share/doc/acl2-doc/books/clause-processors
usr/share/doc/acl2-doc/books/clause-processors/SULFA
usr/share/doc/acl2-doc/books/clause-processors/SULFA/README.gz
usr/share/doc/acl2-doc/books/clause-processors/SULFA/smt-examples
usr/share/doc/acl2-doc/books/clause-processors/SULFA/smt-examples/smt-lib-crafted
usr/share/doc/acl2-doc/books/clause-processors/SULFA/smt-examples/smt-lib-crafted/README
usr/share/doc/acl2-doc/books/coi
usr/share/doc/acl2-doc/books/coi/README-coi.html
usr/share/doc/acl2-doc/books/coi/bags
usr/share/doc/acl2-doc/books/coi/bags/README
usr/share/doc/acl2-doc/books/coi/defstructure
usr/share/doc/acl2-doc/books/coi/defstructure/README
usr/share/doc/acl2-doc/books/coi/dtrees
usr/share/doc/acl2-doc/books/coi/dtrees/README
usr/share/doc/acl2-doc/books/coi/osets
usr/share/doc/acl2-doc/books/coi/osets/README
usr/share/doc/acl2-doc/books/coi/paths
usr/share/doc/acl2-doc/books/coi/paths/README
usr/share/doc/acl2-doc/books/coi/records
usr/share/doc/acl2-doc/books/coi/records/fast
usr/share/doc/acl2-doc/books/coi/records/fast/README
usr/share/doc/acl2-doc/books/cowles
usr/share/doc/acl2-doc/books/cowles/README
usr/share/doc/acl2-doc/books/data-structures
usr/share/doc/acl2-doc/books/data-structures/README
usr/share/doc/acl2-doc/books/defexec
usr/share/doc/acl2-doc/books/defexec/README
usr/share/doc/acl2-doc/books/defexec/dag-unification
usr/share/doc/acl2-doc/books/defexec/dag-unification/README
usr/share/doc/acl2-doc/books/defexec/find-path
usr/share/doc/acl2-doc/books/defexec/find-path/README
usr/share/doc/acl2-doc/books/defexec/find-path/graph
usr/share/doc/acl2-doc/books/defexec/find-path/graph/README
usr/share/doc/acl2-doc/books/demos
usr/share/doc/acl2-doc/books/demos/attach-stobj
usr/share/doc/acl2-doc/books/demos/attach-stobj/README.txt
usr/share/doc/acl2-doc/books/demos/big-proof-talks
usr/share/doc/acl2-doc/books/demos/big-proof-talks/README
usr/share/doc/acl2-doc/books/demos/include-raw-examples
usr/share/doc/acl2-doc/books/demos/include-raw-examples/README
usr/share/doc/acl2-doc/books/demos/marktoberdorf-08
usr/share/doc/acl2-doc/books/demos/marktoberdorf-08/README
usr/share/doc/acl2-doc/books/demos/tutorial-problems
usr/share/doc/acl2-doc/books/demos/tutorial-problems/README
usr/share/doc/acl2-doc/books/demos/tutorial-problems/equivalence-of-two-functions
usr/share/doc/acl2-doc/books/demos/tutorial-problems/equivalence-of-two-functions/README
usr/share/doc/acl2-doc/books/emacs
usr/share/doc/acl2-doc/books/emacs/README
usr/share/doc/acl2-doc/books/finite-set-theory
usr/share/doc/acl2-doc/books/finite-set-theory/README
usr/share/doc/acl2-doc/books/ihs
usr/share/doc/acl2-doc/books/ihs/README.gz
usr/share/doc/acl2-doc/books/interface
usr/share/doc/acl2-doc/books/interface/README
usr/share/doc/acl2-doc/books/interface/emacs
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
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
usr/share/doc/acl2-doc/books/kestrel/README.md
usr/share/doc/acl2-doc/books/kestrel/acl2data
usr/share/doc/acl2-doc/books/kestrel/acl2data/README
usr/share/doc/acl2-doc/books/kestrel/acl2data/gather
usr/share/doc/acl2-doc/books/kestrel/acl2data/gather/README.gz
usr/share/doc/acl2-doc/books/kestrel/acl2data/gather/tests
usr/share/doc/acl2-doc/books/kestrel/acl2data/gather/tests/README
usr/share/doc/acl2-doc/books/kestrel/acl2data/postprocess
usr/share/doc/acl2-doc/books/kestrel/acl2data/postprocess/README
usr/share/doc/acl2-doc/books/kestrel/apt
usr/share/doc/acl2-doc/books/kestrel/apt/README.md
usr/share/doc/acl2-doc/books/kestrel/arithmetic-light
usr/share/doc/acl2-doc/books/kestrel/arithmetic-light/README.md
usr/share/doc/acl2-doc/books/kestrel/auto-termination
usr/share/doc/acl2-doc/books/kestrel/auto-termination/README.gz
usr/share/doc/acl2-doc/books/kestrel/axe
usr/share/doc/acl2-doc/books/kestrel/axe/README.md
usr/share/doc/acl2-doc/books/kestrel/axe/examples
usr/share/doc/acl2-doc/books/kestrel/axe/examples/README.md
usr/share/doc/acl2-doc/books/kestrel/axe/jvm
usr/share/doc/acl2-doc/books/kestrel/axe/jvm/README.md
usr/share/doc/acl2-doc/books/kestrel/axe/jvm/examples
usr/share/doc/acl2-doc/books/kestrel/axe/jvm/examples/README.md
usr/share/doc/acl2-doc/books/kestrel/axe/jvm/examples/crypto
usr/share/doc/acl2-doc/books/kestrel/axe/jvm/examples/crypto/README.md
usr/share/doc/acl2-doc/books/kestrel/axe/x86
usr/share/doc/acl2-doc/books/kestrel/axe/x86/README.md
usr/share/doc/acl2-doc/books/kestrel/axe/x86/examples
usr/share/doc/acl2-doc/books/kestrel/axe/x86/examples/README.md
usr/share/doc/acl2-doc/books/kestrel/axe/x86/examples/factorial
usr/share/doc/acl2-doc/books/kestrel/axe/x86/examples/factorial/README.txt
usr/share/doc/acl2-doc/books/kestrel/axe/x86/examples/popcount
usr/share/doc/acl2-doc/books/kestrel/axe/x86/examples/popcount/README.md
usr/share/doc/acl2-doc/books/kestrel/axe/x86/examples/tea
usr/share/doc/acl2-doc/books/kestrel/axe/x86/examples/tea/README.txt
usr/share/doc/acl2-doc/books/kestrel/big-data
usr/share/doc/acl2-doc/books/kestrel/big-data/README.txt
usr/share/doc/acl2-doc/books/kestrel/bitcoin
usr/share/doc/acl2-doc/books/kestrel/bitcoin/README.md
usr/share/doc/acl2-doc/books/kestrel/c
usr/share/doc/acl2-doc/books/kestrel/c/README.md
usr/share/doc/acl2-doc/books/kestrel/c/atc
usr/share/doc/acl2-doc/books/kestrel/c/atc/README.md
usr/share/doc/acl2-doc/books/kestrel/crypto
usr/share/doc/acl2-doc/books/kestrel/crypto/blake
usr/share/doc/acl2-doc/books/kestrel/crypto/blake/README.md
usr/share/doc/acl2-doc/books/kestrel/crypto/r1cs
usr/share/doc/acl2-doc/books/kestrel/crypto/r1cs/README.md
usr/share/doc/acl2-doc/books/kestrel/crypto/r1cs/dense
usr/share/doc/acl2-doc/books/kestrel/crypto/r1cs/dense/README.md
usr/share/doc/acl2-doc/books/kestrel/crypto/r1cs/gadgets
usr/share/doc/acl2-doc/books/kestrel/crypto/r1cs/gadgets/README.md
usr/share/doc/acl2-doc/books/kestrel/crypto/r1cs/sparse
usr/share/doc/acl2-doc/books/kestrel/crypto/r1cs/sparse/README.md
usr/share/doc/acl2-doc/books/kestrel/crypto/r1cs/sparse/gadgets
usr/share/doc/acl2-doc/books/kestrel/crypto/r1cs/sparse/gadgets/README.md
usr/share/doc/acl2-doc/books/kestrel/ethereum
usr/share/doc/acl2-doc/books/kestrel/ethereum/README.md
usr/share/doc/acl2-doc/books/kestrel/ethereum/semaphore
usr/share/doc/acl2-doc/books/kestrel/ethereum/semaphore/json
usr/share/doc/acl2-doc/books/kestrel/ethereum/semaphore/json/README.md
usr/share/doc/acl2-doc/books/kestrel/hdwallet
usr/share/doc/acl2-doc/books/kestrel/hdwallet/README.md.gz
usr/share/doc/acl2-doc/books/kestrel/helpers
usr/share/doc/acl2-doc/books/kestrel/helpers/README.md
usr/share/doc/acl2-doc/books/kestrel/java
usr/share/doc/acl2-doc/books/kestrel/java/README.md
usr/share/doc/acl2-doc/books/kestrel/java/aij
usr/share/doc/acl2-doc/books/kestrel/java/aij/README.md
usr/share/doc/acl2-doc/books/kestrel/java/atj
usr/share/doc/acl2-doc/books/kestrel/java/atj/README.md
usr/share/doc/acl2-doc/books/kestrel/java/atj/images
usr/share/doc/acl2-doc/books/kestrel/java/atj/images/README.md
usr/share/doc/acl2-doc/books/kestrel/jvm
usr/share/doc/acl2-doc/books/kestrel/jvm/README.md
usr/share/doc/acl2-doc/books/kestrel/lists-light
usr/share/doc/acl2-doc/books/kestrel/lists-light/README.md
usr/share/doc/acl2-doc/books/kestrel/prime-fields
usr/share/doc/acl2-doc/books/kestrel/prime-fields/README.md
usr/share/doc/acl2-doc/books/kestrel/risc-v
usr/share/doc/acl2-doc/books/kestrel/risc-v/README.md
usr/share/doc/acl2-doc/books/kestrel/soft
usr/share/doc/acl2-doc/books/kestrel/soft/README.md
usr/share/doc/acl2-doc/books/kestrel/syntheto
usr/share/doc/acl2-doc/books/kestrel/syntheto/README.md
usr/share/doc/acl2-doc/books/kestrel/syntheto/examples
usr/share/doc/acl2-doc/books/kestrel/syntheto/examples/README.txt
usr/share/doc/acl2-doc/books/kestrel/terms-light
usr/share/doc/acl2-doc/books/kestrel/terms-light/README.md
usr/share/doc/acl2-doc/books/kestrel/utilities
usr/share/doc/acl2-doc/books/kestrel/utilities/README.md
usr/share/doc/acl2-doc/books/kestrel/world-light
usr/share/doc/acl2-doc/books/kestrel/world-light/README.md
usr/share/doc/acl2-doc/books/kestrel/x86
usr/share/doc/acl2-doc/books/kestrel/x86/README.md
usr/share/doc/acl2-doc/books/kestrel/yul
usr/share/doc/acl2-doc/books/kestrel/yul/test
usr/share/doc/acl2-doc/books/kestrel/yul/test/transformations
usr/share/doc/acl2-doc/books/kestrel/yul/test/transformations/dead-code-eliminator
usr/share/doc/acl2-doc/books/kestrel/yul/test/transformations/dead-code-eliminator/README.txt
usr/share/doc/acl2-doc/books/kestrel/zcash
usr/share/doc/acl2-doc/books/kestrel/zcash/README.md
usr/share/doc/acl2-doc/books/kestrel/zcash/gadgets
usr/share/doc/acl2-doc/books/kestrel/zcash/gadgets/README.md
usr/share/doc/acl2-doc/books/meta
usr/share/doc/acl2-doc/books/meta/README
usr/share/doc/acl2-doc/books/misc
usr/share/doc/acl2-doc/books/misc/README.gz
usr/share/doc/acl2-doc/books/misc/hidden-defpkg-checks
usr/share/doc/acl2-doc/books/misc/hidden-defpkg-checks/README
usr/share/doc/acl2-doc/books/misc/misc2
usr/share/doc/acl2-doc/books/misc/misc2/README
usr/share/doc/acl2-doc/books/misc/simplify-defuns.txt.gz
usr/share/doc/acl2-doc/books/models
usr/share/doc/acl2-doc/books/models/jvm
usr/share/doc/acl2-doc/books/models/jvm/guard-verified-m1
usr/share/doc/acl2-doc/books/models/jvm/guard-verified-m1/README.gz
usr/share/doc/acl2-doc/books/models/jvm/m1
usr/share/doc/acl2-doc/books/models/jvm/m1/README.gz
usr/share/doc/acl2-doc/books/models/jvm/m2
usr/share/doc/acl2-doc/books/models/jvm/m2/README
usr/share/doc/acl2-doc/books/models/jvm/m5
usr/share/doc/acl2-doc/books/models/jvm/m5/README
usr/share/doc/acl2-doc/books/models/jvm/m6
usr/share/doc/acl2-doc/books/models/jvm/m6/README
usr/share/doc/acl2-doc/books/models/jvm/m6/README-M6.gz
usr/share/doc/acl2-doc/books/models/y86
usr/share/doc/acl2-doc/books/models/y86/README
usr/share/doc/acl2-doc/books/models/y86/y86-basic
usr/share/doc/acl2-doc/books/models/y86/y86-basic/y86
usr/share/doc/acl2-doc/books/models/y86/y86-basic/y86/README
usr/share/doc/acl2-doc/books/nonstd
usr/share/doc/acl2-doc/books/nonstd/circles
usr/share/doc/acl2-doc/books/nonstd/circles/area-of-a-circle
usr/share/doc/acl2-doc/books/nonstd/circles/area-of-a-circle/README.md
usr/share/doc/acl2-doc/books/nonstd/nsa
usr/share/doc/acl2-doc/books/nonstd/nsa/Banach-Tarski
usr/share/doc/acl2-doc/books/nonstd/nsa/Banach-Tarski/README.md
usr/share/doc/acl2-doc/books/nonstd/workshops
usr/share/doc/acl2-doc/books/nonstd/workshops/1999
usr/share/doc/acl2-doc/books/nonstd/workshops/1999/README
usr/share/doc/acl2-doc/books/nonstd/workshops/1999/analysis
usr/share/doc/acl2-doc/books/nonstd/workshops/1999/analysis/README
usr/share/doc/acl2-doc/books/nonstd/workshops/1999/calculus
usr/share/doc/acl2-doc/books/nonstd/workshops/1999/calculus/README
usr/share/doc/acl2-doc/books/nonstd/workshops/1999/calculus/book
usr/share/doc/acl2-doc/books/nonstd/workshops/1999/calculus/book/README
usr/share/doc/acl2-doc/books/nonstd/workshops/1999/calculus/solutions
usr/share/doc/acl2-doc/books/nonstd/workshops/1999/calculus/solutions/README
usr/share/doc/acl2-doc/books/nonstd/workshops/2011
usr/share/doc/acl2-doc/books/nonstd/workshops/2011/reid-gamboa-differentiator
usr/share/doc/acl2-doc/books/nonstd/workshops/2011/reid-gamboa-differentiator/README
usr/share/doc/acl2-doc/books/powerlists
usr/share/doc/acl2-doc/books/powerlists/README
usr/share/doc/acl2-doc/books/projects
usr/share/doc/acl2-doc/books/projects/abnf
usr/share/doc/acl2-doc/books/projects/abnf/README.md
usr/share/doc/acl2-doc/books/projects/aleobft
usr/share/doc/acl2-doc/books/projects/aleobft/README.md
usr/share/doc/acl2-doc/books/projects/apply
usr/share/doc/acl2-doc/books/projects/apply/README
usr/share/doc/acl2-doc/books/projects/apply-model
usr/share/doc/acl2-doc/books/projects/apply-model/README.gz
usr/share/doc/acl2-doc/books/projects/apply-model/ex1
usr/share/doc/acl2-doc/books/projects/apply-model/ex1/README.gz
usr/share/doc/acl2-doc/books/projects/apply-model/ex2
usr/share/doc/acl2-doc/books/projects/apply-model/ex2/README
usr/share/doc/acl2-doc/books/projects/apply-model-2
usr/share/doc/acl2-doc/books/projects/apply-model-2/README.gz
usr/share/doc/acl2-doc/books/projects/apply-model-2/ex1
usr/share/doc/acl2-doc/books/projects/apply-model-2/ex1/README.gz
usr/share/doc/acl2-doc/books/projects/apply-model-2/ex2
usr/share/doc/acl2-doc/books/projects/apply-model-2/ex2/README
usr/share/doc/acl2-doc/books/projects/arm
usr/share/doc/acl2-doc/books/projects/arm/README
usr/share/doc/acl2-doc/books/projects/arm/second
usr/share/doc/acl2-doc/books/projects/arm/second/README
usr/share/doc/acl2-doc/books/projects/arm/utils
usr/share/doc/acl2-doc/books/projects/arm/utils/README
usr/share/doc/acl2-doc/books/projects/async
usr/share/doc/acl2-doc/books/projects/async/README
usr/share/doc/acl2-doc/books/projects/async/arbitration
usr/share/doc/acl2-doc/books/projects/async/arbitration/README
usr/share/doc/acl2-doc/books/projects/async/fifo
usr/share/doc/acl2-doc/books/projects/async/fifo/README
usr/share/doc/acl2-doc/books/projects/async/gcd
usr/share/doc/acl2-doc/books/projects/async/gcd/README
usr/share/doc/acl2-doc/books/projects/async/serial-adder
usr/share/doc/acl2-doc/books/projects/async/serial-adder/README
usr/share/doc/acl2-doc/books/projects/async/telescope
usr/share/doc/acl2-doc/books/projects/async/telescope/README
usr/share/doc/acl2-doc/books/projects/cholesky
usr/share/doc/acl2-doc/books/projects/cholesky/README
usr/share/doc/acl2-doc/books/projects/codewalker
usr/share/doc/acl2-doc/books/projects/codewalker/README
usr/share/doc/acl2-doc/books/projects/dpss
usr/share/doc/acl2-doc/books/projects/dpss/DPSS-B
usr/share/doc/acl2-doc/books/projects/dpss/DPSS-B/README.md
usr/share/doc/acl2-doc/books/projects/dpss/README.md
usr/share/doc/acl2-doc/books/projects/filesystems
usr/share/doc/acl2-doc/books/projects/filesystems/README.md
usr/share/doc/acl2-doc/books/projects/fm9001
usr/share/doc/acl2-doc/books/projects/fm9001/README
usr/share/doc/acl2-doc/books/projects/fm9801
usr/share/doc/acl2-doc/books/projects/fm9801/README
usr/share/doc/acl2-doc/books/projects/groups
usr/share/doc/acl2-doc/books/projects/groups/README
usr/share/doc/acl2-doc/books/projects/hol-acl2
usr/share/doc/acl2-doc/books/projects/hol-acl2/README-acl2
usr/share/doc/acl2-doc/books/projects/hol-acl2/lisp
usr/share/doc/acl2-doc/books/projects/hol-acl2/lisp/README
usr/share/doc/acl2-doc/books/projects/hol-acl2/tests
usr/share/doc/acl2-doc/books/projects/hol-acl2/tests/inputs
usr/share/doc/acl2-doc/books/projects/hol-acl2/tests/inputs/README
usr/share/doc/acl2-doc/books/projects/legacy-defrstobj
usr/share/doc/acl2-doc/books/projects/legacy-defrstobj/README.gz
usr/share/doc/acl2-doc/books/projects/linear
usr/share/doc/acl2-doc/books/projects/linear/README.gz
usr/share/doc/acl2-doc/books/projects/milawa
usr/share/doc/acl2-doc/books/projects/milawa/ACL2
usr/share/doc/acl2-doc/books/projects/milawa/ACL2/README
usr/share/doc/acl2-doc/books/projects/milawa/README
usr/share/doc/acl2-doc/books/projects/numbers
usr/share/doc/acl2-doc/books/projects/numbers/README.gz
usr/share/doc/acl2-doc/books/projects/oracle
usr/share/doc/acl2-doc/books/projects/oracle/README
usr/share/doc/acl2-doc/books/projects/pdf-parser
usr/share/doc/acl2-doc/books/projects/pdf-parser/README.md.gz
usr/share/doc/acl2-doc/books/projects/rac
usr/share/doc/acl2-doc/books/projects/rac/README.md.gz
usr/share/doc/acl2-doc/books/projects/rac/bin
usr/share/doc/acl2-doc/books/projects/rac/bin/README
usr/share/doc/acl2-doc/books/projects/rac/examples
usr/share/doc/acl2-doc/books/projects/rac/examples/README
usr/share/doc/acl2-doc/books/projects/rac/tests
usr/share/doc/acl2-doc/books/projects/rac/tests/README.md
usr/share/doc/acl2-doc/books/projects/rp-rewriter
usr/share/doc/acl2-doc/books/projects/rp-rewriter/lib
usr/share/doc/acl2-doc/books/projects/rp-rewriter/lib/mult3
usr/share/doc/acl2-doc/books/projects/rp-rewriter/lib/mult3/README
usr/share/doc/acl2-doc/books/projects/sat
usr/share/doc/acl2-doc/books/projects/sat/lrat
usr/share/doc/acl2-doc/books/projects/sat/lrat/README
usr/share/doc/acl2-doc/books/projects/sat/lrat/cube
usr/share/doc/acl2-doc/books/projects/sat/lrat/cube/README
usr/share/doc/acl2-doc/books/projects/sat/lrat/early
usr/share/doc/acl2-doc/books/projects/sat/lrat/early/README
usr/share/doc/acl2-doc/books/projects/sat/lrat/early/rev1
usr/share/doc/acl2-doc/books/projects/sat/lrat/early/rev1/README
usr/share/doc/acl2-doc/books/projects/sat/lrat/early/rev2
usr/share/doc/acl2-doc/books/projects/sat/lrat/early/rev2/README
usr/share/doc/acl2-doc/books/projects/sat/lrat/incremental
usr/share/doc/acl2-doc/books/projects/sat/lrat/incremental/README
usr/share/doc/acl2-doc/books/projects/sat/lrat/list-based
usr/share/doc/acl2-doc/books/projects/sat/lrat/list-based/README
usr/share/doc/acl2-doc/books/projects/sat/lrat/sorted
usr/share/doc/acl2-doc/books/projects/sat/lrat/sorted/README
usr/share/doc/acl2-doc/books/projects/sat/lrat/stobj-based
usr/share/doc/acl2-doc/books/projects/sat/lrat/stobj-based/README
usr/share/doc/acl2-doc/books/projects/sat/lrat/tests
usr/share/doc/acl2-doc/books/projects/sat/lrat/tests/README
usr/share/doc/acl2-doc/books/projects/sat/proof-checker-itp13
usr/share/doc/acl2-doc/books/projects/sat/proof-checker-itp13/README
usr/share/doc/acl2-doc/books/projects/sat/zz-resolution-checker
usr/share/doc/acl2-doc/books/projects/sat/zz-resolution-checker/README
usr/share/doc/acl2-doc/books/projects/sb-machine
usr/share/doc/acl2-doc/books/projects/sb-machine/README
usr/share/doc/acl2-doc/books/projects/schroeder-bernstein
usr/share/doc/acl2-doc/books/projects/schroeder-bernstein/README.md
usr/share/doc/acl2-doc/books/projects/smtlink
usr/share/doc/acl2-doc/books/projects/smtlink/README.md
usr/share/doc/acl2-doc/books/projects/smtlink/trusted
usr/share/doc/acl2-doc/books/projects/smtlink/trusted/SMT-lib
usr/share/doc/acl2-doc/books/projects/smtlink/trusted/SMT-lib/README.md
usr/share/doc/acl2-doc/books/projects/smtlink/trusted/z3-py
usr/share/doc/acl2-doc/books/projects/smtlink/trusted/z3-py/README.md
usr/share/doc/acl2-doc/books/projects/smtlink/z3_interface
usr/share/doc/acl2-doc/books/projects/smtlink/z3_interface/README.md
usr/share/doc/acl2-doc/books/projects/srt
usr/share/doc/acl2-doc/books/projects/srt/README
usr/share/doc/acl2-doc/books/projects/stateman
usr/share/doc/acl2-doc/books/projects/stateman/README
usr/share/doc/acl2-doc/books/projects/symbolic
usr/share/doc/acl2-doc/books/projects/symbolic/README
usr/share/doc/acl2-doc/books/projects/taspi
usr/share/doc/acl2-doc/books/projects/taspi/code
usr/share/doc/acl2-doc/books/projects/taspi/code/README
usr/share/doc/acl2-doc/books/projects/translators
usr/share/doc/acl2-doc/books/projects/translators/l3-to-acl2
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
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
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
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
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
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
usr/share/doc/acl2-doc/books/projects/translators/l3-to-acl2/translator/README
usr/share/doc/acl2-doc/books/projects/vwsim
usr/share/doc/acl2-doc/books/projects/vwsim/README.gz
usr/share/doc/acl2-doc/books/projects/x86isa
usr/share/doc/acl2-doc/books/projects/x86isa/README
usr/share/doc/acl2-doc/books/projects/x86isa/machine
usr/share/doc/acl2-doc/books/projects/x86isa/machine/shared
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
usr/share/doc/acl2-doc/books/projects/x86isa/tools/execution
usr/share/doc/acl2-doc/books/projects/x86isa/tools/execution/examples
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
usr/share/doc/acl2-doc/books/projects/x86isa/tools/execution/examples/documenting-edge-cases/README
usr/share/doc/acl2-doc/books/proofstyles
usr/share/doc/acl2-doc/books/proofstyles/counterexamples
usr/share/doc/acl2-doc/books/proofstyles/counterexamples/README
usr/share/doc/acl2-doc/books/quicklisp
usr/share/doc/acl2-doc/books/quicklisp/bundle
usr/share/doc/acl2-doc/books/quicklisp/bundle/local-projects
usr/share/doc/acl2-doc/books/quicklisp/bundle/local-projects/bordeaux-threads
usr/share/doc/acl2-doc/books/quicklisp/bundle/local-projects/bordeaux-threads/README
usr/share/doc/acl2-doc/books/quicklisp/bundle/local-projects/fastnumio
usr/share/doc/acl2-doc/books/quicklisp/bundle/local-projects/fastnumio/README.md
usr/share/doc/acl2-doc/books/quicklisp/bundle/software
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/3bz-20230618-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/3bz-20230618-git/README.md
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/alexandria-20231021-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/alexandria-20231021-git/README
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/babel-20230214-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/babel-20230214-git/README.md
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/bordeaux-threads-v0.9.3
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/bordeaux-threads-v0.9.3/README.md
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/bordeaux-threads-v0.9.3/docs
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/bordeaux-threads-v0.9.3/docs/themes
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/bordeaux-threads-v0.9.3/docs/themes/techdoc
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/bordeaux-threads-v0.9.3/docs/themes/techdoc/README.md.gz
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/bt-semaphore-20180711-git
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-20231021-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/cffi-20231021-git/README.md
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/cl+ssl-20231021-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/cl+ssl-20231021-git/README.md.gz
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/cl-cookie-20220707-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/cl-cookie-20220707-git/README.markdown
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/cl-fad-20220220-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/cl-fad-20220220-git/README
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/cl-ppcre-20230618-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/cl-ppcre-20230618-git/README.md
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/cl-utilities-1.2.4
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/cl-utilities-1.2.4/README
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/dexador-20231021-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/dexador-20231021-git/README.markdown.gz
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/documentation-utils-20231021-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/documentation-utils-20231021-git/README.md.gz
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/fast-http-20231021-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/fast-http-20231021-git/README.markdown.gz
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/fast-io-20221106-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/fast-io-20221106-git/README.md.gz
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/file-attributes-20231021-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/file-attributes-20231021-git/README.mess
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/filesystem-utils-20231021-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/filesystem-utils-20231021-git/README.md
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/flexi-streams-20220220-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/flexi-streams-20220220-git/README.md
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/flexi-streams-20220220-git/test
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/flexi-streams-20220220-git/test/README
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/global-vars-20141106-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/global-vars-20141106-git/README.md
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/html-template-20171227-git
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
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/hunchentoot-v1.3.0/README.md
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/local-time-20231021-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/local-time-20231021-git/README
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/md5-20210630-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/md5-20210630-git/README.md
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/mmap-20231021-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/mmap-20231021-git/README.md
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/nibbles-20231021-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/nibbles-20231021-git/README.md
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/osicat-20220220-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/osicat-20220220-git/README.md
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/pathname-utils-20231021-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/pathname-utils-20231021-git/README.md
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/proc-parse-20190813-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/proc-parse-20190813-git/README.markdown.gz
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/quri-20230618-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/quri-20230618-git/README.markdown.gz
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/rfc2388-20180831-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/rfc2388-20180831-git/README.md
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/salza2-2.1
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/salza2-2.1/README.txt
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/shellpool-20200925-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/shellpool-20200925-git/README.md
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/shellpool-20200925-git/test
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/shellpool-20200925-git/test/README.md
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/shellpool-20200925-git/test/auto
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/shellpool-20200925-git/test/auto/README.md
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/smart-buffer-20211020-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/smart-buffer-20211020-git/README.markdown
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/split-sequence-v2.0.1
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/split-sequence-v2.0.1/README.md
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/static-vectors-v1.8.9
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/static-vectors-v1.8.9/README
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/trivial-backtrace-20230214-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/trivial-backtrace-20230214-git/README.md
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/trivial-features-20230618-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/trivial-features-20230618-git/README.md
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/trivial-garbage-20231021-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/trivial-garbage-20231021-git/README.md
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/trivial-gray-streams-20231021-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/trivial-gray-streams-20231021-git/README
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/trivial-indent-20231021-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/trivial-indent-20231021-git/README.md
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/trivial-mimes-20231021-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/trivial-mimes-20231021-git/README.md
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/uiop-3.3.6
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/uiop-3.3.6/README.md.gz
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/usocket-0.8.6
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/usocket-0.8.6/README.md.gz
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/usocket-0.8.6/notes
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/usocket-0.8.6/notes/README.md
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/xsubseq-20170830-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/xsubseq-20170830-git/README.markdown
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/zippy-20231021-git
usr/share/doc/acl2-doc/books/quicklisp/bundle/software/zippy-20231021-git/README.mess
usr/share/doc/acl2-doc/books/rtl
usr/share/doc/acl2-doc/books/rtl/README.gz
usr/share/doc/acl2-doc/books/rtl/rel1
usr/share/doc/acl2-doc/books/rtl/rel1/README
usr/share/doc/acl2-doc/books/rtl/rel11
usr/share/doc/acl2-doc/books/rtl/rel11/rel9-rtl-pkg
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
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
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
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
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
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
usr/share/doc/acl2-doc/books/rtl/rel11/rel9-rtl-pkg/support/support/README
usr/share/doc/acl2-doc/books/rtl/rel4
usr/share/doc/acl2-doc/books/rtl/rel4/README.gz
usr/share/doc/acl2-doc/books/rtl/rel4/arithmetic
usr/share/doc/acl2-doc/books/rtl/rel4/arithmetic/README
usr/share/doc/acl2-doc/books/rtl/rel4/lib
usr/share/doc/acl2-doc/books/rtl/rel4/lib/README
usr/share/doc/acl2-doc/books/rtl/rel4/support
usr/share/doc/acl2-doc/books/rtl/rel4/support/README
usr/share/doc/acl2-doc/books/rtl/rel4/user
usr/share/doc/acl2-doc/books/rtl/rel4/user/README
usr/share/doc/acl2-doc/books/rtl/rel9
usr/share/doc/acl2-doc/books/rtl/rel9/README.gz
usr/share/doc/acl2-doc/books/rtl/rel9/arithmetic
usr/share/doc/acl2-doc/books/rtl/rel9/arithmetic/README
usr/share/doc/acl2-doc/books/rtl/rel9/support
usr/share/doc/acl2-doc/books/rtl/rel9/support/README
usr/share/doc/acl2-doc/books/rtl/rel9/support/lib1
usr/share/doc/acl2-doc/books/rtl/rel9/support/lib1/README
usr/share/doc/acl2-doc/books/rtl/rel9/support/lib1.delta1
usr/share/doc/acl2-doc/books/rtl/rel9/support/lib1.delta1/README
usr/share/doc/acl2-doc/books/rtl/rel9/support/lib2
usr/share/doc/acl2-doc/books/rtl/rel9/support/lib2/README
usr/share/doc/acl2-doc/books/rtl/rel9/support/support
usr/share/doc/acl2-doc/books/rtl/rel9/support/support/README
usr/share/doc/acl2-doc/books/system
usr/share/doc/acl2-doc/books/system/doc
usr/share/doc/acl2-doc/books/system/doc/README
usr/share/doc/acl2-doc/books/system/doc/convert-legacy-doc
usr/share/doc/acl2-doc/books/system/doc/convert-legacy-doc/README
usr/share/doc/acl2-doc/books/system/tests
usr/share/doc/acl2-doc/books/system/tests/abstract-stobj-nesting
usr/share/doc/acl2-doc/books/system/tests/abstract-stobj-nesting/README
usr/share/doc/acl2-doc/books/system/tests/early-load-of-compiled
usr/share/doc/acl2-doc/books/system/tests/early-load-of-compiled/README.txt
usr/share/doc/acl2-doc/books/system/toothbrush
usr/share/doc/acl2-doc/books/system/toothbrush/README.gz
usr/share/doc/acl2-doc/books/textbook
usr/share/doc/acl2-doc/books/textbook/README.gz
usr/share/doc/acl2-doc/books/textbook/chap10
usr/share/doc/acl2-doc/books/textbook/chap10/README
usr/share/doc/acl2-doc/books/textbook/chap11
usr/share/doc/acl2-doc/books/textbook/chap11/README
usr/share/doc/acl2-doc/books/textbook/chap3
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
usr/share/doc/acl2-doc/books/textbook/chap4/README
usr/share/doc/acl2-doc/books/textbook/chap5
usr/share/doc/acl2-doc/books/textbook/chap5/README
usr/share/doc/acl2-doc/books/textbook/chap6
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
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/textbook/index.html
usr/share/doc/acl2-doc/books/tools
usr/share/doc/acl2-doc/books/tools/book-conflicts
usr/share/doc/acl2-doc/books/tools/book-conflicts/README
usr/share/doc/acl2-doc/books/workshops
usr/share/doc/acl2-doc/books/workshops/1999
usr/share/doc/acl2-doc/books/workshops/1999/README
usr/share/doc/acl2-doc/books/workshops/1999/analysis
usr/share/doc/acl2-doc/books/workshops/1999/analysis/README
usr/share/doc/acl2-doc/books/workshops/1999/calculus
usr/share/doc/acl2-doc/books/workshops/1999/calculus/README
usr/share/doc/acl2-doc/books/workshops/1999/calculus/book
usr/share/doc/acl2-doc/books/workshops/1999/calculus/book/README
usr/share/doc/acl2-doc/books/workshops/1999/calculus/solutions
usr/share/doc/acl2-doc/books/workshops/1999/calculus/solutions/README
usr/share/doc/acl2-doc/books/workshops/1999/compiler
usr/share/doc/acl2-doc/books/workshops/1999/compiler/README
usr/share/doc/acl2-doc/books/workshops/1999/de-hdl
usr/share/doc/acl2-doc/books/workshops/1999/de-hdl/README
usr/share/doc/acl2-doc/books/workshops/1999/embedded
usr/share/doc/acl2-doc/books/workshops/1999/embedded/Exercises
usr/share/doc/acl2-doc/books/workshops/1999/embedded/Exercises/Exercise1-1
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
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
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
usr/share/doc/acl2-doc/books/workshops/1999/embedded/Proof-Of-Contribution/README
usr/share/doc/acl2-doc/books/workshops/1999/embedded/README
usr/share/doc/acl2-doc/books/workshops/1999/graph
usr/share/doc/acl2-doc/books/workshops/1999/graph/README
usr/share/doc/acl2-doc/books/workshops/1999/ivy
usr/share/doc/acl2-doc/books/workshops/1999/ivy/README
usr/share/doc/acl2-doc/books/workshops/1999/ivy/ivy-v2
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
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
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
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
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
usr/share/doc/acl2-doc/books/workshops/1999/knuth-91/README
usr/share/doc/acl2-doc/books/workshops/1999/mu-calculus
usr/share/doc/acl2-doc/books/workshops/1999/mu-calculus/README
usr/share/doc/acl2-doc/books/workshops/1999/mu-calculus/book
usr/share/doc/acl2-doc/books/workshops/1999/mu-calculus/book/README
usr/share/doc/acl2-doc/books/workshops/1999/mu-calculus/solutions
usr/share/doc/acl2-doc/books/workshops/1999/mu-calculus/solutions/README
usr/share/doc/acl2-doc/books/workshops/1999/multiplier
usr/share/doc/acl2-doc/books/workshops/1999/multiplier/README
usr/share/doc/acl2-doc/books/workshops/1999/pipeline
usr/share/doc/acl2-doc/books/workshops/1999/pipeline/README
usr/share/doc/acl2-doc/books/workshops/1999/simulator
usr/share/doc/acl2-doc/books/workshops/1999/simulator/README
usr/share/doc/acl2-doc/books/workshops/1999/ste
usr/share/doc/acl2-doc/books/workshops/1999/ste/README
usr/share/doc/acl2-doc/books/workshops/1999/vhdl
usr/share/doc/acl2-doc/books/workshops/1999/vhdl/README
usr/share/doc/acl2-doc/books/workshops/2000
usr/share/doc/acl2-doc/books/workshops/2000/README
usr/share/doc/acl2-doc/books/workshops/2000/cowles
usr/share/doc/acl2-doc/books/workshops/2000/cowles/books
usr/share/doc/acl2-doc/books/workshops/2000/cowles/books/README
usr/share/doc/acl2-doc/books/workshops/2000/lusk-mccune
usr/share/doc/acl2-doc/books/workshops/2000/lusk-mccune/lusk-mccune-final
usr/share/doc/acl2-doc/books/workshops/2000/lusk-mccune/lusk-mccune-final/README
usr/share/doc/acl2-doc/books/workshops/2000/manolios
usr/share/doc/acl2-doc/books/workshops/2000/manolios/pipeline
usr/share/doc/acl2-doc/books/workshops/2000/manolios/pipeline/README
usr/share/doc/acl2-doc/books/workshops/2000/manolios/pipeline/pipeline
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
usr/share/doc/acl2-doc/books/workshops/2000/manolios/pipeline/pipeline/deterministic-systems/128
usr/share/doc/acl2-doc/books/workshops/2000/manolios/pipeline/pipeline/deterministic-systems/128/top
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
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
usr/share/doc/acl2-doc/books/workshops/2000/manolios/pipeline/trivial/sawada-model/README
usr/share/doc/acl2-doc/books/workshops/2000/medina
usr/share/doc/acl2-doc/books/workshops/2000/medina/polynomials
usr/share/doc/acl2-doc/books/workshops/2000/medina/polynomials/README
usr/share/doc/acl2-doc/books/workshops/2000/moore-manolios
usr/share/doc/acl2-doc/books/workshops/2000/moore-manolios/partial-functions
usr/share/doc/acl2-doc/books/workshops/2000/moore-manolios/partial-functions/README
usr/share/doc/acl2-doc/books/workshops/2000/ruiz
usr/share/doc/acl2-doc/books/workshops/2000/ruiz/multiset
usr/share/doc/acl2-doc/books/workshops/2000/ruiz/multiset/README.html
usr/share/doc/acl2-doc/books/workshops/2000/sumners1
usr/share/doc/acl2-doc/books/workshops/2000/sumners1/cdeq
usr/share/doc/acl2-doc/books/workshops/2000/sumners1/cdeq/README
usr/share/doc/acl2-doc/books/workshops/2000/sumners2
usr/share/doc/acl2-doc/books/workshops/2000/sumners2/bdds
usr/share/doc/acl2-doc/books/workshops/2000/sumners2/bdds/README
usr/share/doc/acl2-doc/books/workshops/2002
usr/share/doc/acl2-doc/books/workshops/2002/README
usr/share/doc/acl2-doc/books/workshops/2002/georgelin-borrione-ostier
usr/share/doc/acl2-doc/books/workshops/2002/georgelin-borrione-ostier/support
usr/share/doc/acl2-doc/books/workshops/2002/georgelin-borrione-ostier/support/README
usr/share/doc/acl2-doc/books/workshops/2002/manolios-kaufmann
usr/share/doc/acl2-doc/books/workshops/2002/manolios-kaufmann/support
usr/share/doc/acl2-doc/books/workshops/2002/manolios-kaufmann/support/total-order
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
usr/share/doc/acl2-doc/books/workshops/2002/medina-palomo-alonso/support
usr/share/doc/acl2-doc/books/workshops/2002/medina-palomo-alonso/support/section-2
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
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
usr/share/doc/acl2-doc/books/workshops/2002/ray-sumners/README
usr/share/doc/acl2-doc/books/workshops/2002/ruiz-alonso-hidalgo-martin-dags
usr/share/doc/acl2-doc/books/workshops/2002/ruiz-alonso-hidalgo-martin-dags/support
usr/share/doc/acl2-doc/books/workshops/2002/ruiz-alonso-hidalgo-martin-dags/support/README
usr/share/doc/acl2-doc/books/workshops/2003
usr/share/doc/acl2-doc/books/workshops/2003/README
usr/share/doc/acl2-doc/books/workshops/2003/greve-wilding_mbe
usr/share/doc/acl2-doc/books/workshops/2003/greve-wilding_mbe/support
usr/share/doc/acl2-doc/books/workshops/2003/greve-wilding_mbe/support/README
usr/share/doc/acl2-doc/books/workshops/2003/kaufmann
usr/share/doc/acl2-doc/books/workshops/2003/kaufmann/support
usr/share/doc/acl2-doc/books/workshops/2003/kaufmann/support/README
usr/share/doc/acl2-doc/books/workshops/2003/kaufmann/support/rtl
usr/share/doc/acl2-doc/books/workshops/2003/kaufmann/support/rtl/README
usr/share/doc/acl2-doc/books/workshops/2003/moore_vcg
usr/share/doc/acl2-doc/books/workshops/2003/moore_vcg/support
usr/share/doc/acl2-doc/books/workshops/2003/moore_vcg/support/README
usr/share/doc/acl2-doc/books/workshops/2003/sumners
usr/share/doc/acl2-doc/books/workshops/2003/sumners/support
usr/share/doc/acl2-doc/books/workshops/2003/sumners/support/README
usr/share/doc/acl2-doc/books/workshops/2004
usr/share/doc/acl2-doc/books/workshops/2004/README
usr/share/doc/acl2-doc/books/workshops/2004/davis
usr/share/doc/acl2-doc/books/workshops/2004/davis/support
usr/share/doc/acl2-doc/books/workshops/2004/davis/support/README
usr/share/doc/acl2-doc/books/workshops/2004/gameiro-manolios
usr/share/doc/acl2-doc/books/workshops/2004/gameiro-manolios/support
usr/share/doc/acl2-doc/books/workshops/2004/gameiro-manolios/support/README
usr/share/doc/acl2-doc/books/workshops/2004/legato
usr/share/doc/acl2-doc/books/workshops/2004/legato/support
usr/share/doc/acl2-doc/books/workshops/2004/legato/support/nqthm
usr/share/doc/acl2-doc/books/workshops/2004/legato/support/nqthm/README
usr/share/doc/acl2-doc/books/workshops/2004/manolios-srinivasan
usr/share/doc/acl2-doc/books/workshops/2004/manolios-srinivasan/support
usr/share/doc/acl2-doc/books/workshops/2004/manolios-srinivasan/support/README
usr/share/doc/acl2-doc/books/workshops/2004/ruiz-et-al
usr/share/doc/acl2-doc/books/workshops/2004/ruiz-et-al/support
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
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
usr/share/doc/acl2-doc/books/workshops/2004/smith-et-al/support
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
usr/share/doc/acl2-doc/books/workshops/2004/smith-et-al/support/bags/README
usr/share/doc/acl2-doc/books/workshops/2006
usr/share/doc/acl2-doc/books/workshops/2006/README
usr/share/doc/acl2-doc/books/workshops/2006/pike-shields-matthews
usr/share/doc/acl2-doc/books/workshops/2006/pike-shields-matthews/core_verifier
usr/share/doc/acl2-doc/books/workshops/2006/pike-shields-matthews/core_verifier/README
usr/share/doc/acl2-doc/books/workshops/2007
usr/share/doc/acl2-doc/books/workshops/2007/README
usr/share/doc/acl2-doc/books/workshops/2007/dillinger-et-al
usr/share/doc/acl2-doc/books/workshops/2007/dillinger-et-al/code
usr/share/doc/acl2-doc/books/workshops/2007/dillinger-et-al/code/README
usr/share/doc/acl2-doc/books/workshops/2009
usr/share/doc/acl2-doc/books/workshops/2009/README
usr/share/doc/acl2-doc/books/workshops/2009/gamboa-cowles-inverses
usr/share/doc/acl2-doc/books/workshops/2009/gamboa-cowles-inverses/README
usr/share/doc/acl2-doc/books/workshops/2009/greve-quantifiers
usr/share/doc/acl2-doc/books/workshops/2009/greve-quantifiers/README
usr/share/doc/acl2-doc/books/workshops/2009/greve-termination
usr/share/doc/acl2-doc/books/workshops/2009/greve-termination/README
usr/share/doc/acl2-doc/books/workshops/2009/kaufmann-kornerup-reitblatt
usr/share/doc/acl2-doc/books/workshops/2009/kaufmann-kornerup-reitblatt/support
usr/share/doc/acl2-doc/books/workshops/2009/kaufmann-kornerup-reitblatt/support/README
usr/share/doc/acl2-doc/books/workshops/2009/liu
usr/share/doc/acl2-doc/books/workshops/2009/liu/support
usr/share/doc/acl2-doc/books/workshops/2009/liu/support/README
usr/share/doc/acl2-doc/books/workshops/2009/moore
usr/share/doc/acl2-doc/books/workshops/2009/moore/README
usr/share/doc/acl2-doc/books/workshops/2009/pierre-clavel-leveugle
usr/share/doc/acl2-doc/books/workshops/2009/pierre-clavel-leveugle/Fault-tolerance
usr/share/doc/acl2-doc/books/workshops/2009/pierre-clavel-leveugle/Fault-tolerance/README.txt
usr/share/doc/acl2-doc/books/workshops/2009/rager
usr/share/doc/acl2-doc/books/workshops/2009/rager/README
usr/share/doc/acl2-doc/books/workshops/2009/sumners
usr/share/doc/acl2-doc/books/workshops/2009/sumners/support
usr/share/doc/acl2-doc/books/workshops/2009/sumners/support/README
usr/share/doc/acl2-doc/books/workshops/2009/vandenbroek-schmaltz
usr/share/doc/acl2-doc/books/workshops/2009/vandenbroek-schmaltz/GeNoC
usr/share/doc/acl2-doc/books/workshops/2009/vandenbroek-schmaltz/GeNoC/README
usr/share/doc/acl2-doc/books/workshops/2011
usr/share/doc/acl2-doc/books/workshops/2011/README
usr/share/doc/acl2-doc/books/workshops/2011/krug-et-al
usr/share/doc/acl2-doc/books/workshops/2011/krug-et-al/support
usr/share/doc/acl2-doc/books/workshops/2011/krug-et-al/support/Memory
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/README
usr/share/doc/acl2-doc/books/workshops/2011/krug-et-al/support/Utilities
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
usr/share/doc/acl2-doc/books/workshops/2011/reid-gamboa-differentiator/README
usr/share/doc/acl2-doc/books/workshops/2013
usr/share/doc/acl2-doc/books/workshops/2013/README
usr/share/doc/acl2-doc/books/workshops/2013/davis-swords
usr/share/doc/acl2-doc/books/workshops/2013/davis-swords/README
usr/share/doc/acl2-doc/books/workshops/2013/greve-slind
usr/share/doc/acl2-doc/books/workshops/2013/greve-slind/README
usr/share/doc/acl2-doc/books/workshops/2013/verbeek-schmaltz
usr/share/doc/acl2-doc/books/workshops/2013/verbeek-schmaltz/books
usr/share/doc/acl2-doc/books/workshops/2013/verbeek-schmaltz/books/README
usr/share/doc/acl2-doc/books/workshops/2014
usr/share/doc/acl2-doc/books/workshops/2014/davis-kaufmann
usr/share/doc/acl2-doc/books/workshops/2014/davis-kaufmann/README
usr/share/doc/acl2-doc/books/workshops/2014/heras-komendantskaya
usr/share/doc/acl2-doc/books/workshops/2014/heras-komendantskaya/support
usr/share/doc/acl2-doc/books/workshops/2014/heras-komendantskaya/support/README
usr/share/doc/acl2-doc/books/workshops/2014/puri-ray-hao-xie
usr/share/doc/acl2-doc/books/workshops/2014/puri-ray-hao-xie/support
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
usr/share/doc/acl2-doc/books/workshops/2014/russinoff-oleary/support
usr/share/doc/acl2-doc/books/workshops/2014/russinoff-oleary/support/README
usr/share/doc/acl2-doc/books/workshops/2015
usr/share/doc/acl2-doc/books/workshops/2015/README
usr/share/doc/acl2-doc/books/workshops/2015/chau-kaufmann-hunt
usr/share/doc/acl2-doc/books/workshops/2015/chau-kaufmann-hunt/support
usr/share/doc/acl2-doc/books/workshops/2015/chau-kaufmann-hunt/support/README
usr/share/doc/acl2-doc/books/workshops/2015/peng-greenstreet
usr/share/doc/acl2-doc/books/workshops/2015/peng-greenstreet/support
usr/share/doc/acl2-doc/books/workshops/2015/peng-greenstreet/support/README
usr/share/doc/acl2-doc/books/workshops/2017
usr/share/doc/acl2-doc/books/workshops/2017/README
usr/share/doc/acl2-doc/books/workshops/2017/coglio-kaufmann-smith
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
usr/share/doc/acl2-doc/books/workshops/2017/coglio-kaufmann-smith/support/README.txt
usr/share/doc/acl2-doc/books/workshops/2017/kaufmann-swords
usr/share/doc/acl2-doc/books/workshops/2017/kaufmann-swords/support
usr/share/doc/acl2-doc/books/workshops/2017/kaufmann-swords/support/README
usr/share/doc/acl2-doc/books/workshops/2017/sumners
usr/share/doc/acl2-doc/books/workshops/2017/sumners/support
usr/share/doc/acl2-doc/books/workshops/2017/sumners/support/README
usr/share/doc/acl2-doc/books/workshops/2017/swords
usr/share/doc/acl2-doc/books/workshops/2017/swords/support
usr/share/doc/acl2-doc/books/workshops/2017/swords/support/README
usr/share/doc/acl2-doc/books/workshops/2018
usr/share/doc/acl2-doc/books/workshops/2018/README
usr/share/doc/acl2-doc/books/workshops/2018/coglio
usr/share/doc/acl2-doc/books/workshops/2018/coglio/README
usr/share/doc/acl2-doc/books/workshops/2018/coglio-goel
usr/share/doc/acl2-doc/books/workshops/2018/coglio-goel/README
usr/share/doc/acl2-doc/books/workshops/2018/kaufmann
usr/share/doc/acl2-doc/books/workshops/2018/kaufmann/README.gz
usr/share/doc/acl2-doc/books/workshops/2018/kwan-greenstreet
usr/share/doc/acl2-doc/books/workshops/2018/kwan-greenstreet/README
usr/share/doc/acl2-doc/books/workshops/2018/mehta
usr/share/doc/acl2-doc/books/workshops/2018/mehta/README.md
usr/share/doc/acl2-doc/books/workshops/2018/peng-greenstreet
usr/share/doc/acl2-doc/books/workshops/2018/peng-greenstreet/README
usr/share/doc/acl2-doc/books/workshops/2018/swords-hint-orchestration
usr/share/doc/acl2-doc/books/workshops/2018/swords-hint-orchestration/README
usr/share/doc/acl2-doc/books/workshops/2018/swords-incremental-sat
usr/share/doc/acl2-doc/books/workshops/2018/swords-incremental-sat/README
usr/share/doc/acl2-doc/books/workshops/2020
usr/share/doc/acl2-doc/books/workshops/2020/README
usr/share/doc/acl2-doc/books/workshops/2020/coglio
usr/share/doc/acl2-doc/books/workshops/2020/coglio/README
usr/share/doc/acl2-doc/books/workshops/2020/coglio-westfold
usr/share/doc/acl2-doc/books/workshops/2020/coglio-westfold/README
usr/share/doc/acl2-doc/books/workshops/2020/coglio-westfold/drone-plan
usr/share/doc/acl2-doc/books/workshops/2020/coglio-westfold/drone-plan/README
usr/share/doc/acl2-doc/books/workshops/2020/greve
usr/share/doc/acl2-doc/books/workshops/2020/greve/README.md
usr/share/doc/acl2-doc/books/workshops/2020/hardin
usr/share/doc/acl2-doc/books/workshops/2020/hardin/README.md
usr/share/doc/acl2-doc/books/workshops/2020/kaufmann-moore
usr/share/doc/acl2-doc/books/workshops/2020/kaufmann-moore/README
usr/share/doc/acl2-doc/books/workshops/2020/mert
usr/share/doc/acl2-doc/books/workshops/2020/mert/README
usr/share/doc/acl2-doc/books/workshops/2020/peng-greenstreet
usr/share/doc/acl2-doc/books/workshops/2020/peng-greenstreet/README.md
usr/share/doc/acl2-doc/books/workshops/2022
usr/share/doc/acl2-doc/books/workshops/2022/README
usr/share/doc/acl2-doc/books/workshops/2022/kaufmann-moore
usr/share/doc/acl2-doc/books/workshops/2022/kaufmann-moore/README
usr/share/doc/acl2-doc/books/workshops/2022/walter-manolios
usr/share/doc/acl2-doc/books/workshops/2022/walter-manolios/README.md
usr/share/doc/acl2-doc/books/workshops/2022/walter-manolios/acl2s-utils
usr/share/doc/acl2-doc/books/workshops/2022/walter-manolios/acl2s-utils/README.md
usr/share/doc/acl2-doc/books/workshops/2022/young-asymptotic
usr/share/doc/acl2-doc/books/workshops/2022/young-asymptotic/README
usr/share/doc/acl2-doc/books/workshops/2023
usr/share/doc/acl2-doc/books/workshops/2023/README
usr/share/doc/acl2-doc/books/workshops/2023/coglio-mccarthy-smith
usr/share/doc/acl2-doc/books/workshops/2023/coglio-mccarthy-smith/README.txt
usr/share/doc/acl2-doc/books/workshops/2023/hardin
usr/share/doc/acl2-doc/books/workshops/2023/hardin/README.md
usr/share/doc/acl2-doc/books/workshops/2023/kaufmann-moore
usr/share/doc/acl2-doc/books/workshops/2023/kaufmann-moore/README
usr/share/doc/acl2-doc/books/workshops/2023/kumar-etal
usr/share/doc/acl2-doc/books/workshops/2023/kumar-etal/README.org
usr/share/doc/acl2-doc/books/workshops/2023/passmore
usr/share/doc/acl2-doc/books/workshops/2023/passmore/README.md
usr/share/doc/acl2-doc/books/workshops/2023/vonhippel-etal
usr/share/doc/acl2-doc/books/workshops/2023/vonhippel-etal/README
usr/share/doc/acl2-doc/books/workshops/2023/walter-etal
usr/share/doc/acl2-doc/books/workshops/2023/walter-etal/README.md
usr/share/doc/acl2-doc/books/workshops/references
usr/share/doc/acl2-doc/books/workshops/references/README.org
usr/share/doc/acl2-doc/books/xdoc
usr/share/doc/acl2-doc/books/xdoc/classic
usr/share/doc/acl2-doc/books/xdoc/classic/README
usr/share/doc/acl2-doc/books/xdoc/fancy
usr/share/doc/acl2-doc/books/xdoc/fancy/README.gz
usr/share/doc/acl2-doc/books/xdoc/fancy/lib
usr/share/doc/acl2-doc/books/xdoc/fancy/lib/katex
usr/share/doc/acl2-doc/books/xdoc/fancy/lib/katex/README.md.gz
usr/share/doc/acl2-doc/changelog.Debian.gz
usr/share/doc/acl2-doc/copyright
usr/share/doc/acl2-doc/doc
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
usr/share/lintian/overrides
usr/share/lintian/overrides/acl2-doc