gistfile1.txt

/nix/store/z8lbi15ar348zw259n70kn7d22m9lzmw-acl2-8.2
├── bin
│   └── acl2
└── share
    └── acl2
        ├── acl2-characters
        ├── acl2-check.lisp
        ├── acl2-customization-files
        │   ├── bookdata.lisp
        │   ├── no-serialize.lisp
        │   ├── parallel-full.lisp
        │   ├── parallel-resource-based.lisp
        │   ├── parallel-top-level.lisp
        │   ├── pseudo-parallel.lisp
        │   ├── README
        │   ├── serial.lisp
        │   └── set-compile-fns.lisp
        ├── acl2-fns.lisp
        ├── acl2-init.lisp
        ├── acl2.lisp
        ├── acl2-proclaims.lisp
        ├── acl2r.lisp
        ├── acl2-status.txt
        ├── akcl-acl2-trace.lisp
        ├── allegro-acl2-trace.lisp
        ├── all-files.txt
        ├── apply-constraints.lisp
        ├── apply.lisp
        ├── apply-prim.lisp
        ├── apply-raw.lisp
        ├── axioms.lisp
        ├── basis-a.lisp
        ├── basis-b.lisp
        ├── bdd.lisp
        ├── bin
        │   ├── make-fancy-manual.sh
        │   ├── make-tags-acl2-doc.sh
        │   ├── pull.sh
        │   └── purity.sh
        ├── boot-strap-pass-2-a.lisp
        ├── boot-strap-pass-2-b.lisp
        ├── build-allegro-exe.cl
        ├── defpkgs.lisp
        ├── defthm.lisp
        ├── defuns.lisp
        ├── doc
        │   ├── acl2-code-size.txt
        │   ├── create-acl2-code-size
        │   ├── create-doc
        │   ├── home-page.html
        │   ├── home-page.lisp
        │   ├── README
        │   └── write-acl2-code-size.lisp
        ├── doc.lisp
        ├── emacs
        │   ├── acl2-doc.el
        │   ├── emacs-acl2.el
        │   ├── monitor.el
        │   └── README
        ├── futures-raw.lisp
        ├── GNUmakefile
        ├── graphics
        │   ├── acl2-logo-200-134.gif
        │   ├── acl2-logo-62-41.gif
        │   ├── acl2-system-architecture.gif
        │   ├── automatic-theorem-prover.gif
        │   ├── binary-trees-app-expl.gif
        │   ├── binary-trees-app.gif
        │   ├── binary-trees-x-y.gif
        │   ├── book04.gif
        │   ├── bridge-analysis.gif
        │   ├── bridge.gif
        │   ├── chem01.gif
        │   ├── common-lisp.gif
        │   ├── computing-machine-5x7.gif
        │   ├── computing-machine-5xy.gif
        │   ├── computing-machine-a.gif
        │   ├── computing-machine.gif
        │   ├── computing-machine-xxy.gif
        │   ├── concrete-proof.gif
        │   ├── doc03.gif
        │   ├── docbag2.gif
        │   ├── door02.gif
        │   ├── file03.gif
        │   ├── file04.gif
        │   ├── flying.gif
        │   ├── ftp2.gif
        │   ├── gift.gif
        │   ├── green-line.gif
        │   ├── index.gif
        │   ├── info04.gif
        │   ├── interactive-theorem-prover-a.gif
        │   ├── interactive-theorem-prover.gif
        │   ├── landing.gif
        │   ├── large-flying.gif
        │   ├── large-walking.gif
        │   ├── llogo.gif
        │   ├── logo.gif
        │   ├── mailbox1.gif
        │   ├── new04.gif
        │   ├── note02.gif
        │   ├── open-book.gif
        │   ├── pisa.gif
        │   ├── proof.gif
        │   ├── sitting.gif
        │   ├── stack.gif
        │   ├── state-object.gif
        │   ├── teacher1.gif
        │   ├── teacher2.gif
        │   ├── time-out.gif
        │   ├── tools3.gif
        │   ├── twarning.gif
        │   ├── uaa-rewrite.gif
        │   ├── walking.gif
        │   └── warning.gif
        ├── history-management.lisp
        ├── hons.lisp
        ├── hons-raw.lisp
        ├── induct.lisp
        ├── init.lisp
        ├── installation
        │   ├── ccl.html
        │   ├── installation.html
        │   ├── installing-make.html
        │   ├── misc.html
        │   ├── obtaining-and-installing.html
        │   ├── requirements.html
        │   ├── using.html
        │   ├── windows7.html
        │   └── windows-gcl-jared.html
        ├── interface-raw.lisp
        ├── ld.lisp
        ├── LICENSE
        ├── linear-a.lisp
        ├── linear-b.lisp
        ├── Makefile
        ├── mcl-acl2-startup.lisp
        ├── memoize.lisp
        ├── memoize-raw.lisp
        ├── multi-threading-raw.lisp
        ├── new.html
        ├── non-linear.lisp
        ├── openmcl-acl2-trace.lisp
        ├── other-events.lisp
        ├── other-processes.lisp
        ├── other-releases.html
        ├── parallel.lisp
        ├── parallel-raw.lisp
        ├── proof-builder-a.lisp
        ├── proof-builder-b.lisp
        ├── proof-builder-pkg.lisp
        ├── prove.lisp
        ├── README.md -> books/README.md
        ├── rewrite.lisp
        ├── saved
        │   ├── acl2-characters
        │   ├── acl2-check.lisp
        │   ├── acl2-fns.lisp
        │   ├── acl2-init.lisp
        │   ├── acl2.lisp
        │   ├── acl2-proclaims.lisp
        │   ├── acl2r.lisp
        │   ├── akcl-acl2-trace.lisp
        │   ├── allegro-acl2-trace.lisp
        │   ├── apply-constraints.lisp
        │   ├── apply.lisp
        │   ├── apply-prim.lisp
        │   ├── apply-raw.lisp
        │   ├── axioms.lisp
        │   ├── basis-a.lisp
        │   ├── basis-b.lisp
        │   ├── bdd.lisp
        │   ├── boot-strap-pass-2-a.lisp
        │   ├── boot-strap-pass-2-b.lisp
        │   ├── defpkgs.lisp
        │   ├── defthm.lisp
        │   ├── defuns.lisp
        │   ├── doc.lisp
        │   ├── futures-raw.lisp
        │   ├── GNUmakefile
        │   ├── history-management.lisp
        │   ├── hons.lisp
        │   ├── hons-raw.lisp
        │   ├── induct.lisp
        │   ├── init.lisp
        │   ├── interface-raw.lisp
        │   ├── ld.lisp
        │   ├── linear-a.lisp
        │   ├── linear-b.lisp
        │   ├── mcl-acl2-startup.lisp
        │   ├── memoize.lisp
        │   ├── memoize-raw.lisp
        │   ├── multi-threading-raw.lisp
        │   ├── non-linear.lisp
        │   ├── openmcl-acl2-trace.lisp
        │   ├── other-events.lisp
        │   ├── other-processes.lisp
        │   ├── parallel.lisp
        │   ├── parallel-raw.lisp
        │   ├── proof-builder-a.lisp
        │   ├── proof-builder-b.lisp
        │   ├── proof-builder-pkg.lisp
        │   ├── prove.lisp
        │   ├── rewrite.lisp
        │   ├── serialize.lisp
        │   ├── serialize-raw.lisp
        │   ├── simplify.lisp
        │   ├── tau.lisp
        │   ├── translate.lisp
        │   ├── type-set-a.lisp
        │   └── type-set-b.lisp
        ├── saved_acl2
        ├── saved_acl2.core
        ├── save-gprof.lsp
        ├── serialize.lisp
        ├── serialize-raw.lisp
        ├── simplify.lisp
        ├── tau.lisp
        ├── translate.lisp
        ├── type-set-a.lisp
        ├── type-set-b.lisp
        └── workshops.html

10 directories, 211 files