Branch: refs/heads/testing-kestrel
Commit: bb9da8ef608bc9a27903ae05a0a2242c52615f28
https://github.com/acl2/acl2/commit/bb9da8ef608bc9a27903ae05a0a2242c52615f28
Author: Matt Kaufmann <
kauf...@kestrel.edu>
Date: 2021-07-17 (Sat, 17 Jul 2021)
Changed paths:
M bin/new-useless-runes-files.sh
M books/acl2s/.sys/acl2s...@useless-runes.lsp
M books/acl2s/.sys/acl2s...@useless-runes.lsp
M books/acl2s/.sys/base-ar...@useless-runes.lsp
M books/acl2s/.sys/base-...@useless-runes.lsp
M books/acl2s/.sys/cons...@useless-runes.lsp
M books/acl2s/.sys/def...@useless-runes.lsp
M books/acl2s/.sys/prope...@useless-runes.lsp
M books/acl2s/cgen/.sys/base-cg...@useless-runes.lsp
M books/acl2s/cgen/.sys/ba...@useless-runes.lsp
M books/acl2s/cgen/.sys/fixers-g...@useless-runes.lsp
M books/acl2s/cgen/.sys/prove...@useless-runes.lsp
M books/acl2s/cgen/.sys/simple-gr...@useless-runes.lsp
M books/acl2s/cgen/.sys/simple...@useless-runes.lsp
M books/acl2s/cgen/.sys/ty...@useless-runes.lsp
M books/acl2s/cgen/.sys/util...@useless-runes.lsp
M books/acl2s/defdata/.sys/ba...@useless-runes.lsp
M books/acl2s/defdata/.sys/defdat...@useless-runes.lsp
M books/acl2s/defdata/.sys/library...@useless-runes.lsp
M books/acl2s/defdata/.sys/mv-p...@useless-runes.lsp
M books/acl2s/defdata/.sys/num-li...@useless-runes.lsp
M books/acl2s/defdata/.sys/number-enu...@useless-runes.lsp
M books/acl2s/defdata/.sys/random-st...@useless-runes.lsp
M books/acl2s/defdata/.sys/random...@useless-runes.lsp
M books/acl2s/defdata/.sys/rem-an...@useless-runes.lsp
M books/acl2s/defdata/.sys/spli...@useless-runes.lsp
M books/acl2s/defdata/.sys/swit...@useless-runes.lsp
M books/acl2s/sorting/.sys/sor...@useless-runes.lsp
M books/add-ons/.sys/hash-...@useless-runes.lsp
M books/arithmetic-2/floor-mod/.sys/floor-mo...@useless-runes.lsp
M books/arithmetic-2/floor-mod/.sys/floo...@useless-runes.lsp
M books/arithmetic-2/meta/.sys/cancel-t...@useless-runes.lsp
M books/arithmetic-2/meta/.sys/commo...@useless-runes.lsp
M books/arithmetic-2/meta/.sys/expt-...@useless-runes.lsp
M books/arithmetic-2/meta/.sys/ex...@useless-runes.lsp
M books/arithmetic-2/meta/.sys/intege...@useless-runes.lsp
M books/arithmetic-2/pass1/.sys/expt-...@useless-runes.lsp
M books/arithmetic-2/pass1/.sys/ex...@useless-runes.lsp
M books/arithmetic-2/pass1/.sys/inequa...@useless-runes.lsp
M books/arithmetic-2/pass1/.sys/numerator-and-de...@useless-runes.lsp
M books/arithmetic-3/bind-free/.sys/basic-...@useless-runes.lsp
M books/arithmetic-3/bind-free/.sys/ba...@useless-runes.lsp
M books/arithmetic-3/bind-free/.sys/buildin...@useless-runes.lsp
M books/arithmetic-3/bind-free/.sys/col...@useless-runes.lsp
M books/arithmetic-3/bind-free/.sys/com...@useless-runes.lsp
M books/arithmetic-3/bind-free/.sys/intege...@useless-runes.lsp
M books/arithmetic-3/bind-free/.sys/inte...@useless-runes.lsp
M books/arithmetic-3/bind-free/.sys/mini-theor...@useless-runes.lsp
M books/arithmetic-3/bind-free/.sys/norm...@useless-runes.lsp
M books/arithmetic-3/bind-free/.sys/simp...@useless-runes.lsp
M books/arithmetic-3/extra/.sys/ext-c...@useless-runes.lsp
M books/arithmetic-3/floor-mod/.sys/floo...@useless-runes.lsp
M books/arithmetic-3/pass1/.sys/expt-...@useless-runes.lsp
M books/arithmetic-3/pass1/.sys/ex...@useless-runes.lsp
M books/arithmetic-3/pass1/.sys/num-and-de...@useless-runes.lsp
M books/arithmetic-5/lib/basic-ops/.sys/building-bl...@useless-runes.lsp
M books/arithmetic-5/lib/basic-ops/.sys/buildin...@useless-runes.lsp
M books/arithmetic-5/lib/basic-ops/.sys/com...@useless-runes.lsp
M books/arithmetic-5/lib/basic-ops/.sys/expt-...@useless-runes.lsp
M books/arithmetic-5/lib/basic-ops/.sys/ex...@useless-runes.lsp
M books/arithmetic-5/lib/basic-ops/.sys/integer...@useless-runes.lsp
M books/arithmetic-5/lib/basic-ops/.sys/intege...@useless-runes.lsp
M books/arithmetic-5/lib/basic-ops/.sys/natp...@useless-runes.lsp
M books/arithmetic-5/lib/basic-ops/.sys/numerator-an...@useless-runes.lsp
M books/arithmetic-5/lib/basic-ops/.sys/simple-equalities-an...@useless-runes.lsp
M books/arithmetic-5/lib/basic-ops/.sys/simple-equalities...@useless-runes.lsp
M books/arithmetic-5/lib/floor-mod/.sys/floor-mod-b...@useless-runes.lsp
M books/arithmetic-5/lib/floor-mod/.sys/floor-m...@useless-runes.lsp
M books/arithmetic-5/lib/floor-mod/.sys/floor-mo...@useless-runes.lsp
M books/arithmetic-5/lib/floor-mod/.sys/floo...@useless-runes.lsp
M books/arithmetic-5/lib/floor-mod/.sys/forcin...@useless-runes.lsp
M books/arithmetic-5/lib/floor-mod/.sys/log...@useless-runes.lsp
M books/arithmetic-5/lib/floor-mod/.sys/more-fl...@useless-runes.lsp
M books/arithmetic-5/support/.sys/expt-...@useless-runes.lsp
M books/arithmetic-5/support/.sys/ex...@useless-runes.lsp
M books/arithmetic-5/support/.sys/num-and-de...@useless-runes.lsp
M books/arithmetic-5/support/.sys/numerator-an...@useless-runes.lsp
M books/arithmetic/.sys/a...@useless-runes.lsp
M books/arithmetic/.sys/bino...@useless-runes.lsp
M books/arithmetic/.sys/equal...@useless-runes.lsp
M books/arithmetic/.sys/id...@useless-runes.lsp
M books/arithmetic/.sys/inequa...@useless-runes.lsp
M books/arithmetic/.sys/mod...@useless-runes.lsp
M books/arithmetic/.sys/natp...@useless-runes.lsp
M books/arithmetic/.sys/rati...@useless-runes.lsp
M books/arithmetic/.sys/sum...@useless-runes.lsp
M books/bdd/.sys/bdd-pri...@useless-runes.lsp
M books/centaur/4v-sexpr/.sys/4v-l...@useless-runes.lsp
M books/centaur/4v-sexpr/.sys/bits...@useless-runes.lsp
M books/centaur/4v-sexpr/.sys/g-sexp...@useless-runes.lsp
M books/centaur/4v-sexpr/.sys/onehot-...@useless-runes.lsp
M books/centaur/4v-sexpr/.sys/sexpr-b...@useless-runes.lsp
M books/centaur/4v-sexpr/.sys/sexpr...@useless-runes.lsp
M books/centaur/4v-sexpr/.sys/sexpr-fixpo...@useless-runes.lsp
M books/centaur/4v-sexpr/.sys/sexpr-lo...@useless-runes.lsp
M books/centaur/4v-sexpr/.sys/sexpr-pu...@useless-runes.lsp
M books/centaur/4v-sexpr/.sys/sexpr-r...@useless-runes.lsp
M books/centaur/4v-sexpr/.sys/sexpr-...@useless-runes.lsp
M books/centaur/acre/.sys/ma...@useless-runes.lsp
M books/centaur/acre/.sys/pa...@useless-runes.lsp
M books/centaur/acre/.sys/te...@useless-runes.lsp
M books/centaur/acre/.sys/ty...@useless-runes.lsp
M books/centaur/aig/.sys/accumulate...@useless-runes.lsp
M books/centaur/aig/.sys/aig-...@useless-runes.lsp
M books/centaur/aig/.sys/aig-...@useless-runes.lsp
M books/centaur/aig/.sys/aig...@useless-runes.lsp
M books/centaur/aig/.sys/aig-va...@useless-runes.lsp
M books/centaur/aig/.sys/ai...@useless-runes.lsp
M books/centaur/aig/.sys/aiger...@useless-runes.lsp
M books/centaur/aig/.sys/ai...@useless-runes.lsp
M books/centaur/aig/.sys/bddify-...@useless-runes.lsp
M books/centaur/aig/.sys/bdd...@useless-runes.lsp
M books/centaur/aig/.sys/g-aig...@useless-runes.lsp
M books/centaur/aig/.sys/mi...@useless-runes.lsp
M books/centaur/aig/.sys/rando...@useless-runes.lsp
M books/centaur/aignet/.sys/a...@useless-runes.lsp
M books/centaur/aignet/.sys/aig...@useless-runes.lsp
M books/centaur/aignet/.sys/aig...@useless-runes.lsp
M books/centaur/aignet/.sys/ai...@useless-runes.lsp
M books/centaur/aignet/.sys/aignet-...@useless-runes.lsp
M books/centaur/aignet/.sys/aignet-e...@useless-runes.lsp
M books/centaur/aignet/.sys/aignet-logi...@useless-runes.lsp
M books/centaur/aignet/.sys/aignet...@useless-runes.lsp
M books/centaur/aignet/.sys/arr...@useless-runes.lsp
M books/centaur/aignet/.sys/axi-red...@useless-runes.lsp
M books/centaur/aignet/.sys/bal...@useless-runes.lsp
M books/centaur/aignet/.sys/c...@useless-runes.lsp
M books/centaur/aignet/.sys/cons...@useless-runes.lsp
M books/centaur/aignet/.sys/constr...@useless-runes.lsp
M books/centaur/aignet/.sys/cop...@useless-runes.lsp
M books/centaur/aignet/.sys/co...@useless-runes.lsp
M books/centaur/aignet/.sys/cube...@useless-runes.lsp
M books/centaur/aignet/.sys/cu...@useless-runes.lsp
M books/centaur/aignet/.sys/dom-super...@useless-runes.lsp
M books/centaur/aignet/.sys/equiv-...@useless-runes.lsp
M books/centaur/aignet/.sys/ev...@useless-runes.lsp
M books/centaur/aignet/.sys/fr...@useless-runes.lsp
M books/centaur/aignet/.sys/from-h...@useless-runes.lsp
M books/centaur/aignet/.sys/internal-obser...@useless-runes.lsp
M books/centaur/aignet/.sys/internal-ob...@useless-runes.lsp
M books/centaur/aignet/.sys/ipa...@useless-runes.lsp
M books/centaur/aignet/.sys/lev...@useless-runes.lsp
M books/centaur/aignet/.sys/litera...@useless-runes.lsp
M books/centaur/aignet/.sys/mark-...@useless-runes.lsp
M books/centaur/aignet/.sys/obs-co...@useless-runes.lsp
M books/centaur/aignet/.sys/observ...@useless-runes.lsp
M books/centaur/aignet/.sys/pr...@useless-runes.lsp
M books/centaur/aignet/.sys/raw-...@useless-runes.lsp
M books/centaur/aignet/.sys/refc...@useless-runes.lsp
M books/centaur/aignet/.sys/rew...@useless-runes.lsp
M books/centaur/aignet/.sys/roll...@useless-runes.lsp
M books/centaur/aignet/.sys/rw...@useless-runes.lsp
M books/centaur/aignet/.sys/self-co...@useless-runes.lsp
M books/centaur/aignet/.sys/sema...@useless-runes.lsp
M books/centaur/aignet/.sys/simplif...@useless-runes.lsp
M books/centaur/aignet/.sys/sno...@useless-runes.lsp
M books/centaur/aignet/.sys/st...@useless-runes.lsp
M books/centaur/aignet/.sys/supergate-c...@useless-runes.lsp
M books/centaur/aignet/.sys/supe...@useless-runes.lsp
M books/centaur/aignet/.sys/sw...@useless-runes.lsp
M books/centaur/aignet/.sys/to-ho...@useless-runes.lsp
M books/centaur/aignet/.sys/transfo...@useless-runes.lsp
M books/centaur/aignet/.sys/trans...@useless-runes.lsp
M books/centaur/aignet/.sys/unreach...@useless-runes.lsp
M books/centaur/aignet/.sys/vec...@useless-runes.lsp
M books/centaur/bed/.sys/a...@useless-runes.lsp
M books/centaur/bed/.sys/ev...@useless-runes.lsp
M books/centaur/bed/.sys/m...@useless-runes.lsp
M books/centaur/bed/.sys/pr...@useless-runes.lsp
M books/centaur/bed/.sys/u...@useless-runes.lsp
A books/centaur/bigmem/.sys/big...@useless-runes.lsp
A books/centaur/bigmem/.sys/conc...@useless-runes.lsp
A books/centaur/bigmem/.sys/portc...@useless-runes.lsp
M books/centaur/bitops/.sys/ash-b...@useless-runes.lsp
M books/centaur/bitops/.sys/congr...@useless-runes.lsp
M books/centaur/bitops/.sys/equal-by...@useless-runes.lsp
M books/centaur/bitops/.sys/extra...@useless-runes.lsp
M books/centaur/bitops/.sys/fast-...@useless-runes.lsp
M books/centaur/bitops/.sys/fast-...@useless-runes.lsp
M books/centaur/bitops/.sys/fast-par...@useless-runes.lsp
M books/centaur/bitops/.sys/fast-...@useless-runes.lsp
M books/centaur/bitops/.sys/floo...@useless-runes.lsp
M books/centaur/bitops/.sys/fl...@useless-runes.lsp
M books/centaur/bitops/.sys/ihs-ext...@useless-runes.lsp
M books/centaur/bitops/.sys/ihsext...@useless-runes.lsp
M books/centaur/bitops/.sys/integer...@useless-runes.lsp
M books/centaur/bitops/.sys/limited...@useless-runes.lsp
M books/centaur/bitops/.sys/logbitp...@useless-runes.lsp
M books/centaur/bitops/.sys/logbitp-...@useless-runes.lsp
M books/centaur/bitops/.sys/logr...@useless-runes.lsp
M books/centaur/bitops/.sys/logsa...@useless-runes.lsp
M books/centaur/bitops/.sys/me...@useless-runes.lsp
M books/centaur/bitops/.sys/par...@useless-runes.lsp
M books/centaur/bitops/.sys/part-i...@useless-runes.lsp
M books/centaur/bitops/.sys/rot...@useless-runes.lsp
M books/centaur/bitops/.sys/satu...@useless-runes.lsp
M books/centaur/bitops/.sys/signed...@useless-runes.lsp
M books/centaur/bitops/.sys/spar...@useless-runes.lsp
M books/centaur/bitops/.sys/trailing...@useless-runes.lsp
M books/centaur/bridge/.sys/to-...@useless-runes.lsp
M books/centaur/bridge/.sys/t...@useless-runes.lsp
M books/centaur/clex/.sys/arith...@useless-runes.lsp
M books/centaur/clex/.sys/lin...@useless-runes.lsp
M books/centaur/clex/.sys/matc...@useless-runes.lsp
M books/centaur/clex/.sys/s...@useless-runes.lsp
M books/centaur/defrstobj/.sys/gen...@useless-runes.lsp
M books/centaur/defrstobj/.sys/typed-rec...@useless-runes.lsp
M books/centaur/defrstobj/.sys/typed-...@useless-runes.lsp
M books/centaur/defrstobj2/.sys/defr...@useless-runes.lsp
M books/centaur/defrstobj2/.sys/multitype...@useless-runes.lsp
M books/centaur/esim/.sys/defmo...@useless-runes.lsp
M books/centaur/esim/.sys/esim...@useless-runes.lsp
M books/centaur/esim/.sys/esim...@useless-runes.lsp
M books/centaur/esim/.sys/esim...@useless-runes.lsp
M books/centaur/esim/.sys/esi...@useless-runes.lsp
M books/centaur/esim/.sys/follow-b...@useless-runes.lsp
M books/centaur/esim/occform/.sys/a...@useless-runes.lsp
M books/centaur/esim/occform/.sys/m...@useless-runes.lsp
M books/centaur/esim/occform/.sys/sel...@useless-runes.lsp
M books/centaur/esim/occform/.sys/s...@useless-runes.lsp
M books/centaur/esim/occform/.sys/s...@useless-runes.lsp
M books/centaur/esim/occform/.sys/sim...@useless-runes.lsp
M books/centaur/esim/occform/.sys/t...@useless-runes.lsp
M books/centaur/esim/stv/.sys/stv-c...@useless-runes.lsp
M books/centaur/esim/stv/.sys/stv-...@useless-runes.lsp
M books/centaur/esim/stv/.sys/stv-decomp-p...@useless-runes.lsp
M books/centaur/esim/stv/.sys/stv-decomp-pro...@useless-runes.lsp
M books/centaur/esim/stv/.sys/stv-deco...@useless-runes.lsp
M books/centaur/esim/stv/.sys/stv-e...@useless-runes.lsp
M books/centaur/esim/stv/.sys/stv...@useless-runes.lsp
M books/centaur/esim/stv/.sys/stv...@useless-runes.lsp
M books/centaur/esim/stv/stv2c/.sys/st...@useless-runes.lsp
M books/centaur/esim/stv/stv2c/.sys/t...@useless-runes.lsp
M books/centaur/esim/tutorial/.sys/booth-...@useless-runes.lsp
M books/centaur/esim/tutorial/.sys/boot...@useless-runes.lsp
M books/centaur/esim/vcd/.sys/vcd-...@useless-runes.lsp
M books/centaur/esim/vltoe/.sys/add-res...@useless-runes.lsp
M books/centaur/esim/vltoe/.sys/emod...@useless-runes.lsp
M books/centaur/esim/vltoe/.sys/eocc-a...@useless-runes.lsp
M books/centaur/esim/vltoe/.sys/preli...@useless-runes.lsp
M books/centaur/esim/vltoe/.sys/t...@useless-runes.lsp
M books/centaur/esim/vltoe/.sys/veril...@useless-runes.lsp
M books/centaur/esim/vltoe/.sys/wire...@useless-runes.lsp
M books/centaur/esim/vltoe/.sys/zdri...@useless-runes.lsp
M books/centaur/fty/.sys/base...@useless-runes.lsp
M books/centaur/fty/.sys/bitstruc...@useless-runes.lsp
M books/centaur/fty/.sys/data...@useless-runes.lsp
M books/centaur/fty/.sys/deft...@useless-runes.lsp
M books/centaur/fty/.sys/doc...@useless-runes.lsp
M books/centaur/fty/.sys/type...@useless-runes.lsp
M books/centaur/fty/.sys/vis...@useless-runes.lsp
M books/centaur/fty/tests/.sys/bits...@useless-runes.lsp
M books/centaur/fty/tests/.sys/defpro...@useless-runes.lsp
M books/centaur/fty/tests/.sys/d...@useless-runes.lsp
M books/centaur/fty/tests/.sys/fixe...@useless-runes.lsp
M books/centaur/fty/tests/.sys/sim...@useless-runes.lsp
M books/centaur/fty/tests/.sys/te...@useless-runes.lsp
M books/centaur/fty/tests/.sys/vis...@useless-runes.lsp
M books/centaur/getopt/.sys/t...@useless-runes.lsp
M books/centaur/gl/.sys/always-e...@useless-runes.lsp
M books/centaur/gl/.sys/arith-...@useless-runes.lsp
M books/centaur/gl/.sys/bfr-aig...@useless-runes.lsp
M books/centaur/gl/.sys/bfr-re...@useless-runes.lsp
M books/centaur/gl/.sys/b...@useless-runes.lsp
M books/centaur/gl/.sys/bva...@useless-runes.lsp
M books/centaur/gl/.sys/bv...@useless-runes.lsp
M books/centaur/gl/.sys/ctrex...@useless-runes.lsp
M books/centaur/gl/.sys/def...@useless-runes.lsp
M books/centaur/gl/.sys/defa...@useless-runes.lsp
M books/centaur/gl/.sys/eval-...@useless-runes.lsp
M books/centaur/gl/.sys/eval-...@useless-runes.lsp
M books/centaur/gl/.sys/g-alway...@useless-runes.lsp
M books/centaur/gl/.sys/g-...@useless-runes.lsp
M books/centaur/gl/.sys/g-as...@useless-runes.lsp
M books/centaur/gl/.sys/g-bin...@useless-runes.lsp
M books/centaur/gl/.sys/g-co...@useless-runes.lsp
M books/centaur/gl/.sys/g-conc...@useless-runes.lsp
M books/centaur/gl/.sys/g-c...@useless-runes.lsp
M books/centaur/gl/.sys/g-les...@useless-runes.lsp
M books/centaur/gl/.sys/g-lo...@useless-runes.lsp
M books/centaur/gl/.sys/g-lo...@useless-runes.lsp
M books/centaur/gl/.sys/g-pred...@useless-runes.lsp
M books/centaur/gl/.sys/g-unary-...@useless-runes.lsp
M books/centaur/gl/.sys/general-o...@useless-runes.lsp
M books/centaur/gl/.sys/generi...@useless-runes.lsp
M books/centaur/gl/.sys/gl-generic-...@useless-runes.lsp
M books/centaur/gl/.sys/gl-generic-...@useless-runes.lsp
M books/centaur/gl/.sys/gl-gener...@useless-runes.lsp
M books/centaur/gl/.sys/gl-mis...@useless-runes.lsp
M books/centaur/gl/.sys/gl-...@useless-runes.lsp
M books/centaur/gl/.sys/g...@useless-runes.lsp
M books/centaur/gl/.sys/glcp-...@useless-runes.lsp
M books/centaur/gl/.sys/glcp-un...@useless-runes.lsp
M books/centaur/gl/.sys/glcp-un...@useless-runes.lsp
M books/centaur/gl/.sys/gobjec...@useless-runes.lsp
M books/centaur/gl/.sys/gtype...@useless-runes.lsp
M books/centaur/gl/.sys/hyp...@useless-runes.lsp
M books/centaur/gl/.sys/pa...@useless-runes.lsp
M books/centaur/gl/.sys/pr...@useless-runes.lsp
M books/centaur/gl/.sys/pseudo-te...@useless-runes.lsp
M books/centaur/gl/.sys/rewr...@useless-runes.lsp
M books/centaur/gl/.sys/run-gi...@useless-runes.lsp
M books/centaur/gl/.sys/r...@useless-runes.lsp
M books/centaur/gl/.sys/seconda...@useless-runes.lsp
M books/centaur/gl/.sys/shape-s...@useless-runes.lsp
M books/centaur/gl/.sys/shape...@useless-runes.lsp
M books/centaur/gl/.sys/symbolic-...@useless-runes.lsp
M books/centaur/gl/.sys/try...@useless-runes.lsp
M books/centaur/glmc/.sys/bfr-mch...@useless-runes.lsp
M books/centaur/glmc/.sys/bfr-m...@useless-runes.lsp
M books/centaur/glmc/.sys/glmc-gen...@useless-runes.lsp
M books/centaur/glmc/.sys/glmc-gene...@useless-runes.lsp
M books/centaur/glmc/.sys/gl...@useless-runes.lsp
M books/centaur/glmc/.sys/shape-sp...@useless-runes.lsp
M books/centaur/ipasir/.sys/ipasir...@useless-runes.lsp
M books/centaur/meta/.sys/bindi...@useless-runes.lsp
M books/centaur/meta/.sys/congr...@useless-runes.lsp
M books/centaur/meta/.sys/equiv...@useless-runes.lsp
M books/centaur/meta/.sys/lambda-...@useless-runes.lsp
M books/centaur/meta/.sys/let...@useless-runes.lsp
M books/centaur/meta/.sys/parse-...@useless-runes.lsp
M books/centaur/meta/.sys/su...@useless-runes.lsp
M books/centaur/meta/.sys/subst...@useless-runes.lsp
M books/centaur/meta/.sys/term...@useless-runes.lsp
M books/centaur/meta/.sys/unify-...@useless-runes.lsp
M books/centaur/meta/.sys/urew...@useless-runes.lsp
M books/centaur/misc/.sys/beta-red...@useless-runes.lsp
M books/centaur/misc/.sys/bound-r...@useless-runes.lsp
M books/centaur/misc/.sys/conte...@useless-runes.lsp
M books/centaur/misc/.sys/coun...@useless-runes.lsp
M books/centaur/misc/.sys/dag-meas...@useless-runes.lsp
M books/centaur/misc/.sys/defa...@useless-runes.lsp
M books/centaur/misc/.sys/dfs-m...@useless-runes.lsp
M books/centaur/misc/.sys/dupli...@useless-runes.lsp
M books/centaur/misc/.sys/evaluator-m...@useless-runes.lsp
M books/centaur/misc/.sys/grap...@useless-runes.lsp
M books/centaur/misc/.sys/hons-alpho...@useless-runes.lsp
M books/centaur/misc/.sys/hons...@useless-runes.lsp
M books/centaur/misc/.sys/interp-func...@useless-runes.lsp
M books/centaur/misc/.sys/introd...@useless-runes.lsp
M books/centaur/misc/.sys/ints...@useless-runes.lsp
M books/centaur/misc/.sys/it...@useless-runes.lsp
M books/centaur/misc/.sys/li...@useless-runes.lsp
M books/centaur/misc/.sys/load-...@useless-runes.lsp
M books/centaur/misc/.sys/nat-list-...@useless-runes.lsp
M books/centaur/misc/.sys/nth-...@useless-runes.lsp
M books/centaur/misc/.sys/nth-na...@useless-runes.lsp
M books/centaur/misc/.sys/num...@useless-runes.lsp
M books/centaur/misc/.sys/smm-...@useless-runes.lsp
M books/centaur/misc/.sys/sparsem...@useless-runes.lsp
M books/centaur/misc/.sys/tai...@useless-runes.lsp
M books/centaur/misc/.sys/tar...@useless-runes.lsp
M books/centaur/misc/.sys/u32...@useless-runes.lsp
M books/centaur/misc/.sys/vecs...@useless-runes.lsp
M books/centaur/satlink/.sys/c...@useless-runes.lsp
M books/centaur/satlink/.sys/dimac...@useless-runes.lsp
M books/centaur/satlink/.sys/li...@useless-runes.lsp
M books/centaur/satlink/.sys/lrat-in...@useless-runes.lsp
M books/centaur/satlink/.sys/t...@useless-runes.lsp
M books/centaur/sv/cosims/.sys/cos...@useless-runes.lsp
M books/centaur/sv/mods/.sys/add...@useless-runes.lsp
M books/centaur/sv/mods/.sys/alias...@useless-runes.lsp
M books/centaur/sv/mods/.sys/com...@useless-runes.lsp
M books/centaur/sv/mods/.sys/l...@useless-runes.lsp
M books/centaur/sv/mods/.sys/mo...@useless-runes.lsp
M books/centaur/sv/mods/.sys/svm...@useless-runes.lsp
M books/centaur/sv/svex/.sys/4vec...@useless-runes.lsp
M books/centaur/sv/svex/.sys/4v...@useless-runes.lsp
M books/centaur/sv/svex/.sys/4vm...@useless-runes.lsp
M books/centaur/sv/svex/.sys/a4ve...@useless-runes.lsp
M books/centaur/sv/svex/.sys/a4...@useless-runes.lsp
M books/centaur/sv/svex/.sys/aig-...@useless-runes.lsp
M books/centaur/sv/svex/.sys/argm...@useless-runes.lsp
M books/centaur/sv/svex/.sys/compose-t...@useless-runes.lsp
M books/centaur/sv/svex/.sys/compose-theory-...@useless-runes.lsp
M books/centaur/sv/svex/.sys/com...@useless-runes.lsp
M books/centaur/sv/svex/.sys/conc...@useless-runes.lsp
M books/centaur/sv/svex/.sys/contex...@useless-runes.lsp
M books/centaur/sv/svex/.sys/env-...@useless-runes.lsp
M books/centaur/sv/svex/.sys/env...@useless-runes.lsp
M books/centaur/sv/svex/.sys/ev...@useless-runes.lsp
M books/centaur/sv/svex/.sys/fr...@useless-runes.lsp
M books/centaur/sv/svex/.sys/gl-r...@useless-runes.lsp
M books/centaur/sv/svex/.sys/lat...@useless-runes.lsp
M books/centaur/sv/svex/.sys/letab...@useless-runes.lsp
M books/centaur/sv/svex/.sys/li...@useless-runes.lsp
A books/centaur/sv/svex/.sys/monot...@useless-runes.lsp
M books/centaur/sv/svex/.sys/rewrit...@useless-runes.lsp
M books/centaur/sv/svex/.sys/rewrit...@useless-runes.lsp
M books/centaur/sv/svex/.sys/rew...@useless-runes.lsp
M books/centaur/sv/svex/.sys/rsh-c...@useless-runes.lsp
M books/centaur/sv/svex/.sys/s4...@useless-runes.lsp
M books/centaur/sv/svex/.sys/sel...@useless-runes.lsp
M books/centaur/sv/svex/.sys/se...@useless-runes.lsp
M books/centaur/sv/svex/.sys/sv...@useless-runes.lsp
M books/centaur/sv/svex/.sys/symb...@useless-runes.lsp
M books/centaur/sv/svex/.sys/unr...@useless-runes.lsp
M books/centaur/sv/svex/.sys/va...@useless-runes.lsp
M books/centaur/sv/svex/.sys/xe...@useless-runes.lsp
M books/centaur/sv/svtv/.sys/ass...@useless-runes.lsp
A books/centaur/sv/svtv/.sys/chase...@useless-runes.lsp
M books/centaur/sv/svtv/.sys/ch...@useless-runes.lsp
M books/centaur/sv/svtv/.sys/compose...@useless-runes.lsp
M books/centaur/sv/svtv/.sys/cycle...@useless-runes.lsp
M books/centaur/sv/svtv/.sys/cycle-...@useless-runes.lsp
M books/centaur/sv/svtv/.sys/de...@useless-runes.lsp
M books/centaur/sv/svtv/.sys/dec...@useless-runes.lsp
M books/centaur/sv/svtv/.sys/desig...@useless-runes.lsp
M books/centaur/sv/svtv/.sys/d...@useless-runes.lsp
A books/centaur/sv/svtv/.sys/eval-...@useless-runes.lsp
M books/centaur/sv/svtv/.sys/exp...@useless-runes.lsp
M books/centaur/sv/svtv/.sys/fsm-...@useless-runes.lsp
M books/centaur/sv/svtv/.sys/fsm...@useless-runes.lsp
M books/centaur/sv/svtv/.sys/f...@useless-runes.lsp
M books/centaur/sv/svtv/.sys/pipe...@useless-runes.lsp
M books/centaur/sv/svtv/.sys/prepr...@useless-runes.lsp
M books/centaur/sv/svtv/.sys/pr...@useless-runes.lsp
M books/centaur/sv/svtv/.sys/pr...@useless-runes.lsp
M books/centaur/sv/svtv/.sys/pro...@useless-runes.lsp
M books/centaur/sv/svtv/.sys/res...@useless-runes.lsp
M books/centaur/sv/svtv/.sys/stru...@useless-runes.lsp
M books/centaur/sv/svtv/.sys/svtv-sto...@useless-runes.lsp
M books/centaur/sv/svtv/.sys/svtv-sto...@useless-runes.lsp
M books/centaur/sv/svtv/.sys/svtv-stob...@useless-runes.lsp
M books/centaur/sv/svtv/.sys/svtv-stob...@useless-runes.lsp
M books/centaur/sv/svtv/.sys/svtv-sto...@useless-runes.lsp
A books/centaur/sv/svtv/.sys/svtv-sto...@useless-runes.lsp
M books/centaur/sv/svtv/.sys/svtv-stob...@useless-runes.lsp
M books/centaur/sv/svtv/.sys/svtv-stob...@useless-runes.lsp
M books/centaur/sv/svtv/.sys/svtv-st...@useless-runes.lsp
A books/centaur/sv/svtv/.sys/svtv-...@useless-runes.lsp
M books/centaur/sv/svtv/.sys/v...@useless-runes.lsp
M books/centaur/sv/tutorial/.sys/booth-...@useless-runes.lsp
M books/centaur/sv/tutorial/.sys/boot...@useless-runes.lsp
M books/centaur/sv/tutorial/.sys/cou...@useless-runes.lsp
M books/centaur/sv/vl/.sys/elab...@useless-runes.lsp
M books/centaur/sv/vl/.sys/ex...@useless-runes.lsp
M books/centaur/sv/vl/.sys/lit...@useless-runes.lsp
M books/centaur/sv/vl/.sys/mo...@useless-runes.lsp
M books/centaur/sv/vl/.sys/svstmt-...@useless-runes.lsp
M books/centaur/sv/vl/.sys/svs...@useless-runes.lsp
M books/centaur/sv/vl/.sys/t...@useless-runes.lsp
M books/centaur/sv/vl/.sys/tr...@useless-runes.lsp
M books/centaur/sv/vl/.sys/use...@useless-runes.lsp
M books/centaur/sv/vl/.sys/vl-s...@useless-runes.lsp
M books/centaur/svl/.sys/4vec-...@useless-runes.lsp
M books/centaur/svl/.sys/bits-...@useless-runes.lsp
M books/centaur/svl/.sys/svex-eval-...@useless-runes.lsp
M books/centaur/svl/.sys/svex-e...@useless-runes.lsp
M books/centaur/svl/.sys/svex-s...@useless-runes.lsp
M books/centaur/svl/.sys/svl-f...@useless-runes.lsp
M books/centaur/svl/.sys/svl-o...@useless-runes.lsp
M books/centaur/svl/.sys/svl-run-to...@useless-runes.lsp
M books/centaur/svl/.sys/svl...@useless-runes.lsp
M books/centaur/svl/.sys/to...@useless-runes.lsp
M books/centaur/svl/.sys/type...@useless-runes.lsp
M books/centaur/svl/meta/.sys/4vec-r...@useless-runes.lsp
M books/centaur/svl/meta/.sys/bits...@useless-runes.lsp
M books/centaur/svl/meta/.sys/svex-eval...@useless-runes.lsp
M books/centaur/svl/svexl/.sys/svexl-...@useless-runes.lsp
M books/centaur/svl/svexl/.sys/svexl-f...@useless-runes.lsp
M books/centaur/svl/svexl/.sys/sv...@useless-runes.lsp
M books/centaur/truth/.sys/dsd4-...@useless-runes.lsp
M books/centaur/truth/.sys/pe...@useless-runes.lsp
M books/centaur/truth/.sys/si...@useless-runes.lsp
M books/centaur/truth/.sys/tr...@useless-runes.lsp
M books/centaur/ubdds/.sys/co...@useless-runes.lsp
M books/centaur/ubdds/.sys/de...@useless-runes.lsp
M books/centaur/ubdds/.sys/extra-op...@useless-runes.lsp
M books/centaur/ubdds/.sys/par...@useless-runes.lsp
M books/centaur/ubdds/.sys/pa...@useless-runes.lsp
M books/centaur/ubdds/.sys/sub...@useless-runes.lsp
M books/centaur/ubdds/.sys/wit...@useless-runes.lsp
M books/centaur/vl/.sys/ex...@useless-runes.lsp
M books/centaur/vl/.sys/pars...@useless-runes.lsp
M books/centaur/vl/kit/.sys/gat...@useless-runes.lsp
A books/centaur/vl/kit/.sys/js...@useless-runes.lsp
M books/centaur/vl/kit/.sys/li...@useless-runes.lsp
M books/centaur/vl/kit/.sys/prog...@useless-runes.lsp
M books/centaur/vl/kit/.sys/ser...@useless-runes.lsp
M books/centaur/vl/kit/.sys/t...@useless-runes.lsp
M books/centaur/vl/kit/.sys/z...@useless-runes.lsp
M books/centaur/vl/kit/.sys/zip...@useless-runes.lsp
M books/centaur/vl/lint/.sys/alway...@useless-runes.lsp
M books/centaur/vl/lint/.sys/arith-...@useless-runes.lsp
M books/centaur/vl/lint/.sys/check...@useless-runes.lsp
M books/centaur/vl/lint/.sys/check-glo...@useless-runes.lsp
M books/centaur/vl/lint/.sys/check-n...@useless-runes.lsp
M books/centaur/vl/lint/.sys/cond...@useless-runes.lsp
M books/centaur/vl/lint/.sys/drop-missin...@useless-runes.lsp
M books/centaur/vl/lint/.sys/drop-user-...@useless-runes.lsp
M books/centaur/vl/lint/.sys/dupeins...@useless-runes.lsp
M books/centaur/vl/lint/.sys/dup...@useless-runes.lsp
M books/centaur/vl/lint/.sys/duplicat...@useless-runes.lsp
M books/centaur/vl/lint/.sys/ifdef-...@useless-runes.lsp
M books/centaur/vl/lint/.sys/left...@useless-runes.lsp
M books/centaur/vl/lint/.sys/logic...@useless-runes.lsp
M books/centaur/vl/lint/.sys/lu...@useless-runes.lsp
M books/centaur/vl/lint/.sys/lvalu...@useless-runes.lsp
M books/centaur/vl/lint/.sys/odd...@useless-runes.lsp
M books/centaur/vl/lint/.sys/qmarksi...@useless-runes.lsp
M books/centaur/vl/lint/.sys/selfa...@useless-runes.lsp
M books/centaur/vl/lint/.sys/skip-...@useless-runes.lsp
M books/centaur/vl/lint/.sys/suppres...@useless-runes.lsp
M books/centaur/vl/lint/.sys/suppress...@useless-runes.lsp
M books/centaur/vl/lint/.sys/typo-...@useless-runes.lsp
A books/centaur/vl/lint/.sys/unpacke...@useless-runes.lsp
M books/centaur/vl/lint/.sys/use-set...@useless-runes.lsp
M books/centaur/vl/loader/.sys/con...@useless-runes.lsp
M books/centaur/vl/loader/.sys/descri...@useless-runes.lsp
M books/centaur/vl/loader/.sys/fil...@useless-runes.lsp
M books/centaur/vl/loader/.sys/find...@useless-runes.lsp
M books/centaur/vl/loader/.sys/inject-...@useless-runes.lsp
M books/centaur/vl/loader/.sys/inject-...@useless-runes.lsp
M books/centaur/vl/loader/.sys/read...@useless-runes.lsp
M books/centaur/vl/loader/.sys/t...@useless-runes.lsp
M books/centaur/vl/loader/lexer/.sys/char...@useless-runes.lsp
M books/centaur/vl/loader/lexer/.sys/def...@useless-runes.lsp
M books/centaur/vl/loader/lexer/.sys/ident...@useless-runes.lsp
M books/centaur/vl/loader/lexer/.sys/keyw...@useless-runes.lsp
M books/centaur/vl/loader/lexer/.sys/lexs...@useless-runes.lsp
M books/centaur/vl/loader/lexer/.sys/num...@useless-runes.lsp
M books/centaur/vl/loader/lexer/.sys/str...@useless-runes.lsp
M books/centaur/vl/loader/lexer/.sys/tok...@useless-runes.lsp
M books/centaur/vl/loader/lexer/.sys/t...@useless-runes.lsp
M books/centaur/vl/loader/lexer/.sys/ut...@useless-runes.lsp
M books/centaur/vl/loader/parser/.sys/ass...@useless-runes.lsp
M books/centaur/vl/loader/parser/.sys/assig...@useless-runes.lsp
M books/centaur/vl/loader/parser/.sys/block...@useless-runes.lsp
M books/centaur/vl/loader/parser/.sys/cla...@useless-runes.lsp
M books/centaur/vl/loader/parser/.sys/cloc...@useless-runes.lsp
M books/centaur/vl/loader/parser/.sys/con...@useless-runes.lsp
M books/centaur/vl/loader/parser/.sys/cover...@useless-runes.lsp
M books/centaur/vl/loader/parser/.sys/data...@useless-runes.lsp
M books/centaur/vl/loader/parser/.sys/del...@useless-runes.lsp
M books/centaur/vl/loader/parser/.sys/d...@useless-runes.lsp
M books/centaur/vl/loader/parser/.sys/elem...@useless-runes.lsp
M books/centaur/vl/loader/parser/.sys/even...@useless-runes.lsp
M books/centaur/vl/loader/parser/.sys/expre...@useless-runes.lsp
M books/centaur/vl/loader/parser/.sys/func...@useless-runes.lsp
M books/centaur/vl/loader/parser/.sys/ga...@useless-runes.lsp
M books/centaur/vl/loader/parser/.sys/imp...@useless-runes.lsp
M books/centaur/vl/loader/parser/.sys/in...@useless-runes.lsp
M books/centaur/vl/loader/parser/.sys/inter...@useless-runes.lsp
M books/centaur/vl/loader/parser/.sys/modp...@useless-runes.lsp
M books/centaur/vl/loader/parser/.sys/mod...@useless-runes.lsp
M books/centaur/vl/loader/parser/.sys/ne...@useless-runes.lsp
M books/centaur/vl/loader/parser/.sys/pack...@useless-runes.lsp
M books/centaur/vl/loader/parser/.sys/param...@useless-runes.lsp
M books/centaur/vl/loader/parser/.sys/po...@useless-runes.lsp
M books/centaur/vl/loader/parser/.sys/prog...@useless-runes.lsp
M books/centaur/vl/loader/parser/.sys/prope...@useless-runes.lsp
M books/centaur/vl/loader/parser/.sys/state...@useless-runes.lsp
M books/centaur/vl/loader/parser/.sys/stre...@useless-runes.lsp
M books/centaur/vl/loader/parser/.sys/time...@useless-runes.lsp
M books/centaur/vl/loader/parser/.sys/t...@useless-runes.lsp
M books/centaur/vl/loader/parser/.sys/ud...@useless-runes.lsp
M books/centaur/vl/loader/parser/.sys/ut...@useless-runes.lsp
M books/centaur/vl/loader/parser/tests/.sys/ba...@useless-runes.lsp
M books/centaur/vl/loader/parser/tests/.sys/block...@useless-runes.lsp
M books/centaur/vl/loader/parser/tests/.sys/expre...@useless-runes.lsp
M books/centaur/vl/loader/parser/tests/.sys/func...@useless-runes.lsp
M books/centaur/vl/loader/parser/tests/.sys/ga...@useless-runes.lsp
M books/centaur/vl/loader/parser/tests/.sys/imp...@useless-runes.lsp
M books/centaur/vl/loader/parser/tests/.sys/param...@useless-runes.lsp
M books/centaur/vl/loader/parser/tests/.sys/po...@useless-runes.lsp
M books/centaur/vl/loader/parser/tests/.sys/state...@useless-runes.lsp
M books/centaur/vl/loader/preprocessor/.sys/def...@useless-runes.lsp
M books/centaur/vl/loader/preprocessor/.sys/print-...@useless-runes.lsp
M books/centaur/vl/loader/preprocessor/.sys/te...@useless-runes.lsp
M books/centaur/vl/loader/preprocessor/.sys/t...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/alle...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/alln...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/at...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/blo...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/comment...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/core...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/ctxe...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/datatyp...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/desig...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/elab...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/expr-...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/fil...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/fi...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/f...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/hid-...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/hier-m...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/hier...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/imm...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/js...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/lva...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/mock...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/modnam...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/modnam...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/namef...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/port-...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/print-...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/print-w...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/relo...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/remov...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/reo...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/repor...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/scope...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/self...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/stmt-...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/st...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/typed...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/wri...@useless-runes.lsp
M books/centaur/vl/server/.sys/com...@useless-runes.lsp
M books/centaur/vl/server/.sys/desc...@useless-runes.lsp
M books/centaur/vl/server/.sys/file-...@useless-runes.lsp
M books/centaur/vl/server/.sys/sho...@useless-runes.lsp
M books/centaur/vl/server/.sys/t...@useless-runes.lsp
M books/centaur/vl/transforms/.sys/addn...@useless-runes.lsp
M books/centaur/vl/transforms/.sys/clean-w...@useless-runes.lsp
M books/centaur/vl/transforms/.sys/drop-bl...@useless-runes.lsp
M books/centaur/vl/transforms/.sys/elimi...@useless-runes.lsp
M books/centaur/vl/transforms/.sys/lint...@useless-runes.lsp
M books/centaur/vl/transforms/.sys/proble...@useless-runes.lsp
M books/centaur/vl/transforms/annotate/.sys/argre...@useless-runes.lsp
M books/centaur/vl/transforms/annotate/.sys/basic...@useless-runes.lsp
M books/centaur/vl/transforms/annotate/.sys/bi...@useless-runes.lsp
M books/centaur/vl/transforms/annotate/.sys/enum...@useless-runes.lsp
M books/centaur/vl/transforms/annotate/.sys/increme...@useless-runes.lsp
M books/centaur/vl/transforms/annotate/.sys/make-impl...@useless-runes.lsp
M books/centaur/vl/transforms/annotate/.sys/port-r...@useless-runes.lsp
M books/centaur/vl/transforms/annotate/.sys/portde...@useless-runes.lsp
M books/centaur/vl/transforms/annotate/.sys/shado...@useless-runes.lsp
M books/centaur/vl/transforms/annotate/.sys/type-disa...@useless-runes.lsp
M books/centaur/vl/transforms/annotate/.sys/udp-...@useless-runes.lsp
M books/centaur/vl/transforms/unparam/.sys/lin...@useless-runes.lsp
M books/centaur/vl/transforms/unparam/.sys/over...@useless-runes.lsp
M books/centaur/vl/transforms/unparam/.sys/t...@useless-runes.lsp
M books/centaur/vl/util/.sys/arith...@useless-runes.lsp
M books/centaur/vl/util/.sys/bi...@useless-runes.lsp
M books/centaur/vl/util/.sys/character-...@useless-runes.lsp
M books/centaur/vl/util/.sys/de...@useless-runes.lsp
M books/centaur/vl/util/.sys/ech...@useless-runes.lsp
M books/centaur/vl/util/.sys/fmt-...@useless-runes.lsp
M books/centaur/vl/util/.sys/loca...@useless-runes.lsp
M books/centaur/vl/util/.sys/merge-...@useless-runes.lsp
M books/centaur/vl/util/.sys/nam...@useless-runes.lsp
M books/centaur/vl/util/.sys/os...@useless-runes.lsp
M books/centaur/vl/util/.sys/print-ht...@useless-runes.lsp
M books/centaur/vl/util/.sys/pr...@useless-runes.lsp
M books/centaur/vl/util/.sys/string...@useless-runes.lsp
M books/centaur/vl/util/.sys/sum-...@useless-runes.lsp
M books/centaur/vl/util/.sys/summari...@useless-runes.lsp
M books/centaur/vl/util/.sys/warn...@useless-runes.lsp
M books/centaur/vl/util/.sys/warni...@useless-runes.lsp
M books/centaur/vl2014/.sys/ex...@useless-runes.lsp
M books/centaur/vl2014/.sys/pars...@useless-runes.lsp
M books/centaur/vl2014/.sys/wf-reas...@useless-runes.lsp
M books/centaur/vl2014/.sys/wf-width...@useless-runes.lsp
M books/centaur/vl2014/kit/.sys/gat...@useless-runes.lsp
M books/centaur/vl2014/kit/.sys/js...@useless-runes.lsp
M books/centaur/vl2014/kit/.sys/li...@useless-runes.lsp
M books/centaur/vl2014/kit/.sys/mo...@useless-runes.lsp
M books/centaur/vl2014/kit/.sys/p...@useless-runes.lsp
M books/centaur/vl2014/kit/.sys/ser...@useless-runes.lsp
M books/centaur/vl2014/kit/.sys/t...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/check...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/check-n...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/cond...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/drop-missin...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/drop-user-...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/dupeins...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/dup...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/duplicat...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/left...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/lint-stm...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/lu...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/multidri...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/odd...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/port...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/qmarksi...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/remove-...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/selfa...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/skip-...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/suppress...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/typo-...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/use-set...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/use-set...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/use...@useless-runes.lsp
M books/centaur/vl2014/loader/.sys/con...@useless-runes.lsp
M books/centaur/vl2014/loader/.sys/descri...@useless-runes.lsp
M books/centaur/vl2014/loader/.sys/fil...@useless-runes.lsp
M books/centaur/vl2014/loader/.sys/find...@useless-runes.lsp
M books/centaur/vl2014/loader/.sys/inject-...@useless-runes.lsp
M books/centaur/vl2014/loader/.sys/inject-...@useless-runes.lsp
M books/centaur/vl2014/loader/.sys/read...@useless-runes.lsp
M books/centaur/vl2014/loader/.sys/t...@useless-runes.lsp
M books/centaur/vl2014/loader/lexer/.sys/char...@useless-runes.lsp
M books/centaur/vl2014/loader/lexer/.sys/def...@useless-runes.lsp
M books/centaur/vl2014/loader/lexer/.sys/ident...@useless-runes.lsp
M books/centaur/vl2014/loader/lexer/.sys/le...@useless-runes.lsp
M books/centaur/vl2014/loader/lexer/.sys/lexs...@useless-runes.lsp
M books/centaur/vl2014/loader/lexer/.sys/num...@useless-runes.lsp
M books/centaur/vl2014/loader/lexer/.sys/str...@useless-runes.lsp
M books/centaur/vl2014/loader/lexer/.sys/tok...@useless-runes.lsp
M books/centaur/vl2014/loader/lexer/.sys/ut...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/.sys/block...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/.sys/con...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/.sys/data...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/.sys/del...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/.sys/elem...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/.sys/even...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/.sys/expre...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/.sys/func...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/.sys/ga...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/.sys/imp...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/.sys/in...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/.sys/inter...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/.sys/lva...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/.sys/modp...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/.sys/mod...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/.sys/ne...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/.sys/pack...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/.sys/param...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/.sys/par...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/.sys/parse...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/.sys/po...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/.sys/prog...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/.sys/ran...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/.sys/sequ...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/.sys/state...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/.sys/stre...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/.sys/type...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/.sys/ud...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/.sys/ut...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/tests/.sys/ba...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/tests/.sys/block...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/tests/.sys/expre...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/tests/.sys/func...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/tests/.sys/ga...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/tests/.sys/imp...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/tests/.sys/param...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/tests/.sys/po...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/tests/.sys/sequ...@useless-runes.lsp
M books/centaur/vl2014/loader/preprocessor/.sys/def...@useless-runes.lsp
M books/centaur/vl2014/loader/preprocessor/.sys/prepro...@useless-runes.lsp
M books/centaur/vl2014/loader/preprocessor/.sys/print-...@useless-runes.lsp
M books/centaur/vl2014/loader/preprocessor/.sys/te...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/alle...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/at...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/blo...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/care...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/clean-...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/comment...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/cons...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/consti...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/core...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/ctxe...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/datatyp...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/desig...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/expr-b...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/expr-...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/expr-...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/expr-...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/fil...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/fi...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/f...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/hid-...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/hier-m...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/hier...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/imm...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/js...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/lva...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/mod...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/modnam...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/modnam...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/namef...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/namem...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/port-...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/print-...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/print-w...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/range-too...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/range...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/relo...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/remov...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/reo...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/repor...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/scope...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/self...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/stmt-...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/st...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/su...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/typed...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/well...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/wri...@useless-runes.lsp
M books/centaur/vl2014/server/.sys/com...@useless-runes.lsp
M books/centaur/vl2014/server/.sys/desc...@useless-runes.lsp
M books/centaur/vl2014/server/.sys/file-...@useless-runes.lsp
M books/centaur/vl2014/server/.sys/ser...@useless-runes.lsp
M books/centaur/vl2014/server/.sys/sho...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/addins...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/assign...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/blan...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/clean-...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/clean-...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/clean-w...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/delay...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/drop-bl...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/elim-...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/expand-f...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/expr...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/expr...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/expr-...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/gate...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/gate...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/inl...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/opre...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/optim...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/proble...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/propaga...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/prop...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/replica...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/resolve...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/selre...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/siz...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/unuse...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/weirdi...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/wil...@useless-runes.lsp
M books/centaur/vl2014/transforms/always/.sys/case...@useless-runes.lsp
M books/centaur/vl2014/transforms/always/.sys/combin...@useless-runes.lsp
M books/centaur/vl2014/transforms/always/.sys/condi...@useless-runes.lsp
M books/centaur/vl2014/transforms/always/.sys/edge...@useless-runes.lsp
M books/centaur/vl2014/transforms/always/.sys/edge...@useless-runes.lsp
M books/centaur/vl2014/transforms/always/.sys/elima...@useless-runes.lsp
M books/centaur/vl2014/transforms/always/.sys/elimi...@useless-runes.lsp
M books/centaur/vl2014/transforms/always/.sys/ifm...@useless-runes.lsp
M books/centaur/vl2014/transforms/always/.sys/latc...@useless-runes.lsp
M books/centaur/vl2014/transforms/always/.sys/latch...@useless-runes.lsp
M books/centaur/vl2014/transforms/always/.sys/make-...@useless-runes.lsp
M books/centaur/vl2014/transforms/always/.sys/nedg...@useless-runes.lsp
M books/centaur/vl2014/transforms/always/.sys/stmtr...@useless-runes.lsp
M books/centaur/vl2014/transforms/always/.sys/stmt...@useless-runes.lsp
M books/centaur/vl2014/transforms/always/.sys/une...@useless-runes.lsp
M books/centaur/vl2014/transforms/always/.sys/ut...@useless-runes.lsp
M books/centaur/vl2014/transforms/annotate/.sys/argre...@useless-runes.lsp
M books/centaur/vl2014/transforms/annotate/.sys/desig...@useless-runes.lsp
M books/centaur/vl2014/transforms/annotate/.sys/make-impl...@useless-runes.lsp
M books/centaur/vl2014/transforms/annotate/.sys/orig...@useless-runes.lsp
M books/centaur/vl2014/transforms/annotate/.sys/portde...@useless-runes.lsp
M books/centaur/vl2014/transforms/annotate/.sys/resolve-...@useless-runes.lsp
M books/centaur/vl2014/transforms/annotate/.sys/shado...@useless-runes.lsp
M books/centaur/vl2014/transforms/annotate/.sys/udp-...@useless-runes.lsp
M books/centaur/vl2014/transforms/unparam/.sys/lin...@useless-runes.lsp
M books/centaur/vl2014/transforms/unparam/.sys/over...@useless-runes.lsp
M books/centaur/vl2014/transforms/unparam/.sys/scope...@useless-runes.lsp
M books/centaur/vl2014/transforms/unparam/.sys/t...@useless-runes.lsp
M books/centaur/vl2014/util/.sys/arith...@useless-runes.lsp
M books/centaur/vl2014/util/.sys/bi...@useless-runes.lsp
M books/centaur/vl2014/util/.sys/de...@useless-runes.lsp
M books/centaur/vl2014/util/.sys/ech...@useless-runes.lsp
M books/centaur/vl2014/util/.sys/merge-...@useless-runes.lsp
M books/centaur/vl2014/util/.sys/nam...@useless-runes.lsp
M books/centaur/vl2014/util/.sys/next-po...@useless-runes.lsp
M books/centaur/vl2014/util/.sys/os...@useless-runes.lsp
M books/centaur/vl2014/util/.sys/posi...@useless-runes.lsp
M books/centaur/vl2014/util/.sys/prefi...@useless-runes.lsp
M books/centaur/vl2014/util/.sys/pre...@useless-runes.lsp
M books/centaur/vl2014/util/.sys/print-ht...@useless-runes.lsp
M books/centaur/vl2014/util/.sys/pr...@useless-runes.lsp
M books/centaur/vl2014/util/.sys/print...@useless-runes.lsp
M books/centaur/vl2014/util/.sys/sum-...@useless-runes.lsp
M books/centaur/vl2014/util/.sys/warn...@useless-runes.lsp
M books/clause-processors/.sys/auto...@useless-runes.lsp
M books/clause-processors/.sys/bindi...@useless-runes.lsp
M books/clause-processors/.sys/consta...@useless-runes.lsp
M books/clause-processors/.sys/decom...@useless-runes.lsp
M books/clause-processors/.sys/equa...@useless-runes.lsp
M books/clause-processors/.sys/gener...@useless-runes.lsp
M books/clause-processors/.sys/indu...@useless-runes.lsp
M books/clause-processors/.sys/just-...@useless-runes.lsp
M books/clause-processors/.sys/let-abs...@useless-runes.lsp
M books/clause-processors/.sys/magi...@useless-runes.lsp
M books/clause-processors/.sys/meta-extract...@useless-runes.lsp
M books/clause-processors/.sys/meta-ext...@useless-runes.lsp
M books/clause-processors/.sys/nvalue...@useless-runes.lsp
M books/clause-processors/.sys/pseudo-...@useless-runes.lsp
M books/clause-processors/.sys/replace-def...@useless-runes.lsp
M books/clause-processors/.sys/sublis-va...@useless-runes.lsp
M books/clause-processors/.sys/unify...@useless-runes.lsp
M books/coi/alists/.sys/bind...@useless-runes.lsp
M books/coi/alists/.sys/clea...@useless-runes.lsp
M books/coi/alists/.sys/desh...@useless-runes.lsp
M books/coi/alists/.sys/eq...@useless-runes.lsp
M books/coi/alists/.sys/prei...@useless-runes.lsp
M books/coi/alists/.sys/st...@useless-runes.lsp
M books/coi/bags/.sys/ba...@useless-runes.lsp
M books/coi/bags/.sys/bind-fr...@useless-runes.lsp
M books/coi/bags/.sys/co...@useless-runes.lsp
M books/coi/bags/.sys/eric...@useless-runes.lsp
M books/coi/bags/.sys/ext...@useless-runes.lsp
M books/coi/bags/.sys/me...@useless-runes.lsp
M books/coi/bags/.sys/n...@useless-runes.lsp
M books/coi/bags/.sys/two-lev...@useless-runes.lsp
M books/coi/bags/.sys/two-...@useless-runes.lsp
M books/coi/defpun/.sys/a...@useless-runes.lsp
M books/coi/defpun/.sys/defmi...@useless-runes.lsp
M books/coi/defpun/.sys/def...@useless-runes.lsp
M books/coi/defstructure/.sys/defstr...@useless-runes.lsp
M books/coi/defung/.sys/ack-va...@useless-runes.lsp
M books/coi/defung/.sys/defung-st...@useless-runes.lsp
M books/coi/defung/.sys/defung...@useless-runes.lsp
M books/coi/defung/.sys/defun...@useless-runes.lsp
M books/coi/defung/.sys/def...@useless-runes.lsp
M books/coi/defung/.sys/frac...@useless-runes.lsp
M books/coi/defung/.sys/map-e...@useless-runes.lsp
M books/coi/defung/.sys/mon...@useless-runes.lsp
M books/coi/defung/.sys/re...@useless-runes.lsp
M books/coi/defung/.sys/sp...@useless-runes.lsp
M books/coi/dtrees/.sys/ba...@useless-runes.lsp
M books/coi/dtrees/.sys/er...@useless-runes.lsp
M books/coi/dtrees/.sys/le...@useless-runes.lsp
M books/coi/dtrees/.sys/roy...@useless-runes.lsp
M books/coi/dtrees/.sys/s...@useless-runes.lsp
M books/coi/generalize/.sys/gener...@useless-runes.lsp
M books/coi/gensym/.sys/gensy...@useless-runes.lsp
M books/coi/gensym/.sys/gen...@useless-runes.lsp
M books/coi/lists/.sys/acl2-...@useless-runes.lsp
M books/coi/lists/.sys/ba...@useless-runes.lsp
M books/coi/lists/.sys/disj...@useless-runes.lsp
M books/coi/lists/.sys/find-...@useless-runes.lsp
M books/coi/lists/.sys/map-...@useless-runes.lsp
M books/coi/lists/.sys/mem...@useless-runes.lsp
M books/coi/lists/.sys/mv-...@useless-runes.lsp
M books/coi/lists/.sys/nth-and-u...@useless-runes.lsp
M books/coi/lists/.sys/nth-...@useless-runes.lsp
M books/coi/lists/.sys/nth-...@useless-runes.lsp
M books/coi/lists/.sys/remove-i...@useless-runes.lsp
M books/coi/lists/.sys/rem...@useless-runes.lsp
M books/coi/lists/.sys/rep...@useless-runes.lsp
M books/coi/lists/.sys/s...@useless-runes.lsp
M books/coi/maps/.sys/ma...@useless-runes.lsp
M books/coi/nary/.sys/nary...@useless-runes.lsp
M books/coi/nary/.sys/n...@useless-runes.lsp
M books/coi/nary/.sys/nth-...@useless-runes.lsp
M books/coi/nary/.sys/ordina...@useless-runes.lsp
M books/coi/nary/.sys/skip-r...@useless-runes.lsp
M books/coi/nary/.sys/te...@useless-runes.lsp
M books/coi/osets/.sys/multi...@useless-runes.lsp
M books/coi/osets/.sys/ou...@useless-runes.lsp
M books/coi/osets/.sys/so...@useless-runes.lsp
M books/coi/paths/.sys/cp-...@useless-runes.lsp
M books/coi/paths/.sys/div...@useless-runes.lsp
M books/coi/paths/.sys/domi...@useless-runes.lsp
M books/coi/paths/.sys/list-path-...@useless-runes.lsp
M books/coi/paths/.sys/me...@useless-runes.lsp
M books/coi/paths/.sys/pa...@useless-runes.lsp
M books/coi/paths/.sys/p...@useless-runes.lsp
M books/coi/quantification/.sys/quantif...@useless-runes.lsp
M books/coi/quantification/.sys/quantified...@useless-runes.lsp
M books/coi/quantification/.sys/quantified-...@useless-runes.lsp
M books/coi/records/.sys/dom...@useless-runes.lsp
M books/coi/records/.sys/fixed...@useless-runes.lsp
M books/coi/records/.sys/mem-d...@useless-runes.lsp
M books/coi/records/.sys/rec...@useless-runes.lsp
M books/coi/super-ihs/.sys/arith...@useless-runes.lsp
M books/coi/super-ihs/.sys/a...@useless-runes.lsp
M books/coi/super-ihs/.sys/bit-twiddl...@useless-runes.lsp
M books/coi/super-ihs/.sys/byt...@useless-runes.lsp
M books/coi/super-ihs/.sys/c-fun...@useless-runes.lsp
M books/coi/super-ihs/.sys/ca...@useless-runes.lsp
M books/coi/super-ihs/.sys/er...@useless-runes.lsp
M books/coi/super-ihs/.sys/ev...@useless-runes.lsp
M books/coi/super-ihs/.sys/ha...@useless-runes.lsp
M books/coi/super-ihs/.sys/induc...@useless-runes.lsp
M books/coi/super-ihs/.sys/iter...@useless-runes.lsp
M books/coi/super-ihs/.sys/log...@useless-runes.lsp
M books/coi/super-ihs/.sys/log...@useless-runes.lsp
M books/coi/super-ihs/.sys/log...@useless-runes.lsp
M books/coi/super-ihs/.sys/log...@useless-runes.lsp
M books/coi/super-ihs/.sys/logical...@useless-runes.lsp
M books/coi/super-ihs/.sys/logior-lo...@useless-runes.lsp
M books/coi/super-ihs/.sys/log...@useless-runes.lsp
M books/coi/super-ihs/.sys/log...@useless-runes.lsp
M books/coi/super-ihs/.sys/log...@useless-runes.lsp
M books/coi/super-ihs/.sys/me...@useless-runes.lsp
M books/coi/super-ihs/.sys/min...@useless-runes.lsp
M books/coi/super-ihs/.sys/supe...@useless-runes.lsp
M books/coi/super-ihs/.sys/unsigne...@useless-runes.lsp
M books/coi/syntax/.sys/defeva...@useless-runes.lsp
M books/coi/syntax/.sys/syn...@useless-runes.lsp
M books/coi/termination/assuming/.sys/compile...@useless-runes.lsp
M books/coi/termination/assuming/.sys/comp...@useless-runes.lsp
M books/coi/termination/assuming/.sys/com...@useless-runes.lsp
M books/coi/termination/assuming/.sys/ze...@useless-runes.lsp
M books/coi/util/.sys/defun-...@useless-runes.lsp
M books/coi/util/.sys/de...@useless-runes.lsp
M books/coi/util/.sys/eliminate-c...@useless-runes.lsp
M books/coi/util/.sys/good-rewr...@useless-runes.lsp
M books/coi/util/.sys/in-con...@useless-runes.lsp
M books/coi/util/.sys/i...@useless-runes.lsp
M books/coi/util/.sys/linearize-c...@useless-runes.lsp
M books/coi/util/.sys/mv-...@useless-runes.lsp
M books/coi/util/.sys/ordina...@useless-runes.lsp
M books/coi/util/.sys/recursio...@useless-runes.lsp
M books/coi/util/.sys/rule-set...@useless-runes.lsp
M books/coi/util/.sys/skip-r...@useless-runes.lsp
M books/coi/util/.sys/type-...@useless-runes.lsp
M books/data-structures/.sys/alist-...@useless-runes.lsp
M books/data-structures/.sys/def...@useless-runes.lsp
M books/data-structures/.sys/list-d...@useless-runes.lsp
M books/data-structures/.sys/number-li...@useless-runes.lsp
M books/data-structures/.sys/struc...@useless-runes.lsp
M books/data-structures/memories/.sys/lo...@useless-runes.lsp
M books/data-structures/memories/.sys/memor...@useless-runes.lsp
M books/data-structures/memories/.sys/mem...@useless-runes.lsp
M books/defexec/dag-unification/.sys/ba...@useless-runes.lsp
M books/defexec/dag-unification/.sys/dag-unific...@useless-runes.lsp
M books/defexec/dag-unification/.sys/dag-unifi...@useless-runes.lsp
M books/defexec/dag-unification/.sys/da...@useless-runes.lsp
M books/defexec/dag-unification/.sys/list-unific...@useless-runes.lsp
M books/defexec/dag-unification/.sys/matc...@useless-runes.lsp
M books/defexec/dag-unification/.sys/subsu...@useless-runes.lsp
M books/defexec/dag-unification/.sys/terms-...@useless-runes.lsp
M books/defexec/dag-unification/.sys/terms-d...@useless-runes.lsp
M books/defexec/dag-unification/.sys/te...@useless-runes.lsp
M books/defexec/find-path/.sys/fp...@useless-runes.lsp
M books/defexec/find-path/.sys/run-...@useless-runes.lsp
M books/defexec/find-path/graph/.sys/find-...@useless-runes.lsp
M books/defexec/find-path/graph/.sys/find-...@useless-runes.lsp
M books/defexec/find-path/graph/.sys/find-...@useless-runes.lsp
M books/defexec/find-path/graph/.sys/linear-f...@useless-runes.lsp
M books/defexec/other-apps/misc/.sys/stob...@useless-runes.lsp
M books/defexec/other-apps/qsort/.sys/extra...@useless-runes.lsp
M books/defexec/other-apps/qsort/.sys/final-...@useless-runes.lsp
M books/defexec/other-apps/qsort/.sys/first...@useless-runes.lsp
M books/defexec/other-apps/qsort/.sys/intermedia...@useless-runes.lsp
M books/defexec/other-apps/qsort/.sys/load-e...@useless-runes.lsp
M books/defexec/other-apps/qsort/.sys/merge-int...@useless-runes.lsp
M books/defexec/other-apps/qsort/.sys/nth-upd...@useless-runes.lsp
M books/defexec/other-apps/qsort/.sys/permut...@useless-runes.lsp
M books/defexec/other-apps/qsort/.sys/prog...@useless-runes.lsp
M books/defexec/other-apps/qsort/.sys/sort-qs-p...@useless-runes.lsp
M books/defexec/other-apps/qsort/.sys/split-qs-...@useless-runes.lsp
M books/defexec/other-apps/records/.sys/inl...@useless-runes.lsp
M books/defexec/other-apps/records/.sys/rec...@useless-runes.lsp
M books/defexec/other-apps/records/.sys/reco...@useless-runes.lsp
M books/defexec/reflexive/.sys/refl...@useless-runes.lsp
M books/defsort/.sys/duplicate...@useless-runes.lsp
M books/defsort/.sys/exam...@useless-runes.lsp
M books/defsort/.sys/gen...@useless-runes.lsp
A books/demos/.sys/brr-free-va...@useless-runes.lsp
M books/demos/.sys/defabsstob...@useless-runes.lsp
M books/demos/.sys/defabsstob...@useless-runes.lsp
M books/demos/.sys/defabsstob...@useless-runes.lsp
M books/demos/.sys/defabsstob...@useless-runes.lsp
M books/demos/.sys/gl-and-us...@useless-runes.lsp
M books/demos/.sys/list-equali...@useless-runes.lsp
M books/demos/.sys/meta-wf-guar...@useless-runes.lsp
M books/demos/.sys/nth-update-nt...@useless-runes.lsp
M books/demos/.sys/patterned-...@useless-runes.lsp
M books/demos/.sys/rewrite-quoted-cons...@useless-runes.lsp
M books/demos/.sys/stobj-equalit...@useless-runes.lsp
M books/demos/marktoberdorf-08/.sys/com...@useless-runes.lsp
M books/demos/marktoberdorf-08/.sys/fa...@useless-runes.lsp
M books/demos/marktoberdorf-08/.sys/g-inv...@useless-runes.lsp
M books/demos/marktoberdorf-08/.sys/m1-...@useless-runes.lsp
M books/demos/marktoberdorf-08/.sys/m...@useless-runes.lsp
M books/demos/marktoberdorf-08/.sys/preliminar...@useless-runes.lsp
M books/demos/marktoberdorf-08/.sys/util...@useless-runes.lsp
M books/demos/modeling/.sys/nested-sto...@useless-runes.lsp
M books/demos/modeling/.sys/network-s...@useless-runes.lsp
M books/demos/parallel/.sys/fibo...@useless-runes.lsp
M books/demos/parallel/.sys/matrix-multip...@useless-runes.lsp
M books/demos/proofs/.sys/tightness-...@useless-runes.lsp
M books/demos/tutorial-problems/equivalence-of-two-functions/.sys/kauf...@useless-runes.lsp
M books/demos/tutorial-problems/equivalence-of-two-functions/.sys/mo...@useless-runes.lsp
M books/finite-set-theory/.sys/set-t...@useless-runes.lsp
M books/hints/.sys/basic...@useless-runes.lsp
M books/hints/.sys/consider-...@useless-runes.lsp
M books/hints/.sys/huet-lang-al...@useless-runes.lsp
M books/ihs/.sys/@log...@useless-runes.lsp
M books/ihs/.sys/basic-de...@useless-runes.lsp
M books/ihs/.sys/logops-de...@useless-runes.lsp
M books/ihs/.sys/logops...@useless-runes.lsp
M books/ihs/.sys/quotient-rem...@useless-runes.lsp
A books/kestrel/.sys/d...@useless-runes.lsp
M books/kestrel/.sys/t...@useless-runes.lsp
M books/kestrel/abnf/.sys/abstrac...@useless-runes.lsp
M books/kestrel/abnf/.sys/opera...@useless-runes.lsp
M books/kestrel/abnf/.sys/parser-ve...@useless-runes.lsp
M books/kestrel/abnf/.sys/sema...@useless-runes.lsp
M books/kestrel/acl2-arrays/.sys/acl2-...@useless-runes.lsp
M books/kestrel/acl2-arrays/.sys/aref1...@useless-runes.lsp
M books/kestrel/acl2-arrays/.sys/aset1...@useless-runes.lsp
M books/kestrel/acl2-arrays/.sys/bounded-n...@useless-runes.lsp
A books/kestrel/acl2-arrays/.sys/d...@useless-runes.lsp
M books/kestrel/acl2-arrays/.sys/expandab...@useless-runes.lsp
M books/kestrel/acl2-arrays/.sys/typed-acl2-...@useless-runes.lsp
M books/kestrel/acl2pl/.sys/evaluati...@useless-runes.lsp
M books/kestrel/acl2pl/.sys/evalu...@useless-runes.lsp
M books/kestrel/acl2pl/.sys/func...@useless-runes.lsp
M books/kestrel/acl2pl/.sys/pack...@useless-runes.lsp
M books/kestrel/acl2pl/.sys/translat...@useless-runes.lsp
M books/kestrel/acl2pl/.sys/val...@useless-runes.lsp
A books/kestrel/algorithm-theories/.sys/generic-...@useless-runes.lsp
A books/kestrel/algorithm-theories/.sys/t...@useless-runes.lsp
M books/kestrel/alists-light/.sys/acons-...@useless-runes.lsp
M books/kestrel/alists-light/.sys/ali...@useless-runes.lsp
M books/kestrel/alists-light/.sys/assoc...@useless-runes.lsp
A books/kestrel/alists-light/.sys/keep-...@useless-runes.lsp
A books/kestrel/alists-light/.sys/lookup-eq...@useless-runes.lsp
M books/kestrel/alists-light/.sys/pairlis-d...@useless-runes.lsp
M books/kestrel/alists-light/.sys/pairlis...@useless-runes.lsp
M books/kestrel/alists-light/.sys/strip...@useless-runes.lsp
M books/kestrel/alists-light/.sys/strip...@useless-runes.lsp
M books/kestrel/alists-light/.sys/strip...@useless-runes.lsp
M books/kestrel/alists-light/.sys/symbol...@useless-runes.lsp
M books/kestrel/apt/.sys/case...@useless-runes.lsp
A books/kestrel/apt/.sys/d...@useless-runes.lsp
M books/kestrel/apt/.sys/exp...@useless-runes.lsp
M books/kestrel/apt/.sys/isodat...@useless-runes.lsp
M books/kestrel/apt/.sys/iso...@useless-runes.lsp
M books/kestrel/apt/.sys/part...@useless-runes.lsp
M books/kestrel/apt/.sys/propagate-...@useless-runes.lsp
M books/kestrel/apt/.sys/propagate-...@useless-runes.lsp
M books/kestrel/apt/.sys/propagate-...@useless-runes.lsp
M books/kestrel/apt/.sys/propag...@useless-runes.lsp
M books/kestrel/apt/.sys/simplify-...@useless-runes.lsp
M books/kestrel/apt/.sys/simplify-d...@useless-runes.lsp
M books/kestrel/apt/.sys/tailre...@useless-runes.lsp
A books/kestrel/apt/utilities/.sys/deftransfor...@useless-runes.lsp
A books/kestrel/apt/utilities/.sys/defun-...@useless-runes.lsp
M books/kestrel/apt/utilities/.sys/extract-non-...@useless-runes.lsp
A books/kestrel/apt/utilities/.sys/fixup-...@useless-runes.lsp
A books/kestrel/apt/utilities/.sys/function-...@useless-runes.lsp
M books/kestrel/apt/utilities/.sys/hints-sp...@useless-runes.lsp
A books/kestrel/apt/utilities/.sys/make-equivalent...@useless-runes.lsp
A books/kestrel/apt/utilities/.sys/maybe-veri...@useless-runes.lsp
M books/kestrel/apt/utilities/.sys/na...@useless-runes.lsp
M books/kestrel/apt/utilities/.sys/option-...@useless-runes.lsp
M books/kestrel/apt/utilities/.sys/pattern-matchi...@useless-runes.lsp
A books/kestrel/apt/utilities/.sys/set-stobjs-in-d...@useless-runes.lsp
A books/kestrel/apt/utilities/.sys/transformat...@useless-runes.lsp
A books/kestrel/arithmetic-light/.sys/a...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/a...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/cei...@useless-runes.lsp
A books/kestrel/arithmetic-light/.sys/com...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/div...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/even-a...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/ex...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/ex...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/floor-a...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/floor-m...@useless-runes.lsp
A books/kestrel/arithmetic-light/.sys/flo...@useless-runes.lsp
A books/kestrel/arithmetic-light/.sys/fl...@useless-runes.lsp
A books/kestrel/arithmetic-light/.sys/if...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/imag...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/integer...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/integer...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/inte...@useless-runes.lsp
A books/kestrel/arithmetic-light/.sys/less-than...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/l...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/mi...@useless-runes.lsp
A books/kestrel/arithmetic-light/.sys/mod-expt-fa...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/mo...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/m...@useless-runes.lsp
A books/kestrel/arithmetic-light/.sys/na...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/nonnegative-in...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/pl...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/power...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/r...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/ti...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/trun...@useless-runes.lsp
M books/kestrel/arrays-2d/.sys/arra...@useless-runes.lsp
M books/kestrel/arrays-2d/.sys/bv-arr...@useless-runes.lsp
M books/kestrel/auto-termination/.sys/defunt...@useless-runes.lsp
M books/kestrel/auto-termination/.sys/strict-m...@useless-runes.lsp
M books/kestrel/auto-termination/.sys/subsetp-...@useless-runes.lsp
M books/kestrel/auto-termination/.sys/termination-dat...@useless-runes.lsp
M books/kestrel/axe/.sys/add-bitxor-nes...@useless-runes.lsp
M books/kestrel/axe/.sys/add-bvxor-nes...@useless-runes.lsp
A books/kestrel/axe/.sys/alist-suitab...@useless-runes.lsp
M books/kestrel/axe/.sys/all-dargp...@useless-runes.lsp
M books/kestrel/axe/.sys/all-...@useless-runes.lsp
M books/kestrel/axe/.sys/assumpti...@useless-runes.lsp
M books/kestrel/axe/.sys/axe-bind-free-...@useless-runes.lsp
A books/kestrel/axe/.sys/axe-bind-free...@useless-runes.lsp
M books/kestrel/axe/.sys/axe-clause...@useless-runes.lsp
A books/kestrel/axe/.sys/axe-rul...@useless-runes.lsp
M books/kestrel/axe/.sys/axe-rul...@useless-runes.lsp
M books/kestrel/axe/.sys/axe-...@useless-runes.lsp
M books/kestrel/axe/.sys/axe-syntax-...@useless-runes.lsp
M books/kestrel/axe/.sys/axe-syntax...@useless-runes.lsp
M books/kestrel/axe/.sys/axe-syntaxp-e...@useless-runes.lsp
A books/kestrel/axe/.sys/axe-tr...@useless-runes.lsp
A books/kestrel/axe/.sys/axe-...@useless-runes.lsp
M books/kestrel/axe/.sys/axe-...@useless-runes.lsp
M books/kestrel/axe/.sys/basic...@useless-runes.lsp
M books/kestrel/axe/.sys/boolean-...@useless-runes.lsp
M books/kestrel/axe/.sys/bounded-...@useless-runes.lsp
M books/kestrel/axe/.sys/bounded-dag-...@useless-runes.lsp
M books/kestrel/axe/.sys/bv-array-...@useless-runes.lsp
A books/kestrel/axe/.sys/bv-rul...@useless-runes.lsp
M books/kestrel/axe/.sys/bv-r...@useless-runes.lsp
A books/kestrel/axe/.sys/call-ax...@useless-runes.lsp
M books/kestrel/axe/.sys/check-...@useless-runes.lsp
M books/kestrel/axe/.sys/conjoin-te...@useless-runes.lsp
A books/kestrel/axe/.sys/conjunctions-a...@useless-runes.lsp
M books/kestrel/axe/.sys/consec...@useless-runes.lsp
M books/kestrel/axe/.sys/consec...@useless-runes.lsp
M books/kestrel/axe/.sys/cont...@useless-runes.lsp
M books/kestrel/axe/.sys/count-...@useless-runes.lsp
M books/kestrel/axe/.sys/crunc...@useless-runes.lsp
M books/kestrel/axe/.sys/crunc...@useless-runes.lsp
M books/kestrel/axe/.sys/dag-array...@useless-runes.lsp
M books/kestrel/axe/.sys/dag-array...@useless-runes.lsp
M books/kestrel/axe/.sys/dag-array...@useless-runes.lsp
M books/kestrel/axe/.sys/dag-array...@useless-runes.lsp
M books/kestrel/axe/.sys/dag-a...@useless-runes.lsp
M books/kestrel/axe/.sys/dag-...@useless-runes.lsp
M books/kestrel/axe/.sys/dag-...@useless-runes.lsp
M books/kestrel/axe/.sys/dag-parent-ar...@useless-runes.lsp
M books/kestrel/axe/.sys/dag-pare...@useless-runes.lsp
M books/kestrel/axe/.sys/dag-pare...@useless-runes.lsp
M books/kestrel/axe/.sys/dag-si...@useless-runes.lsp
M books/kestrel/axe/.sys/dag-...@useless-runes.lsp
M books/kestrel/axe/.sys/dag-...@useless-runes.lsp
A books/kestrel/axe/.sys/dag-...@useless-runes.lsp
M books/kestrel/axe/.sys/dag-to-ter...@useless-runes.lsp
M books/kestrel/axe/.sys/dag-t...@useless-runes.lsp
M books/kestrel/axe/.sys/dag-varia...@useless-runes.lsp
A books/kestrel/axe/.sys/dag...@useless-runes.lsp
M books/kestrel/axe/.sys/da...@useless-runes.lsp
M books/kestrel/axe/.sys/da...@useless-runes.lsp
M books/kestrel/axe/.sys/defthm-a...@useless-runes.lsp
A books/kestrel/axe/.sys/defthm-s...@useless-runes.lsp
A books/kestrel/axe/.sys/defth...@useless-runes.lsp
A books/kestrel/axe/.sys/depth...@useless-runes.lsp
M books/kestrel/axe/.sys/elaborate-...@useless-runes.lsp
M books/kestrel/axe/.sys/el...@useless-runes.lsp
A books/kestrel/axe/.sys/equality-assu...@useless-runes.lsp
A books/kestrel/axe/.sys/equality-a...@useless-runes.lsp
M books/kestrel/axe/.sys/equalit...@useless-runes.lsp
A books/kestrel/axe/.sys/equival...@useless-runes.lsp
M books/kestrel/axe/.sys/evaluat...@useless-runes.lsp
M books/kestrel/axe/.sys/eval...@useless-runes.lsp
A books/kestrel/axe/.sys/fixup-...@useless-runes.lsp
M books/kestrel/axe/.sys/get-args...@useless-runes.lsp
M books/kestrel/axe/.sys/get-di...@useless-runes.lsp
A books/kestrel/axe/.sys/grou...@useless-runes.lsp
M books/kestrel/axe/.sys/hit-c...@useless-runes.lsp
M books/kestrel/axe/.sys/instantiat...@useless-runes.lsp
A books/kestrel/axe/.sys/instant...@useless-runes.lsp
M books/kestrel/axe/.sys/interpreted-f...@useless-runes.lsp
M books/kestrel/axe/.sys/interpreted-f...@useless-runes.lsp
M books/kestrel/axe/.sys/known-bool...@useless-runes.lsp
M books/kestrel/axe/.sys/leaves-of-norma...@useless-runes.lsp
M books/kestrel/axe/.sys/lenco...@useless-runes.lsp
M books/kestrel/axe/.sys/list-...@useless-runes.lsp
A books/kestrel/axe/.sys/list...@useless-runes.lsp
M books/kestrel/axe/.sys/make-assum...@useless-runes.lsp
M books/kestrel/axe/.sys/make-axe-bind-...@useless-runes.lsp
M books/kestrel/axe/.sys/make-ax...@useless-runes.lsp
M books/kestrel/axe/.sys/make-ax...@useless-runes.lsp
M books/kestrel/axe/.sys/make-axe-syntaxp...@useless-runes.lsp
M books/kestrel/axe/.sys/make-axe-synt...@useless-runes.lsp
M books/kestrel/axe/.sys/make-conju...@useless-runes.lsp
M books/kestrel/axe/.sys/make-dag-co...@useless-runes.lsp
M books/kestrel/axe/.sys/make-dag...@useless-runes.lsp
M books/kestrel/axe/.sys/make-dag-va...@useless-runes.lsp
A books/kestrel/axe/.sys/make-equ...@useless-runes.lsp
M books/kestrel/axe/.sys/make-evalu...@useless-runes.lsp
M books/kestrel/axe/.sys/make-evaluato...@useless-runes.lsp
M books/kestrel/axe/.sys/make-evalu...@useless-runes.lsp
M books/kestrel/axe/.sys/make-ev...@useless-runes.lsp
M books/kestrel/axe/.sys/make-impli...@useless-runes.lsp
M books/kestrel/axe/.sys/make-instantiation-c...@useless-runes.lsp
A books/kestrel/axe/.sys/make-instantiation-cod...@useless-runes.lsp
M books/kestrel/axe/.sys/make-node-rep...@useless-runes.lsp
M books/kestrel/axe/.sys/make-prov...@useless-runes.lsp
M books/kestrel/axe/.sys/make-rewri...@useless-runes.lsp
M books/kestrel/axe/.sys/make-term-into-...@useless-runes.lsp
A books/kestrel/axe/.sys/make-term-into-...@useless-runes.lsp
A books/kestrel/axe/.sys/make-term-into-...@useless-runes.lsp
A books/kestrel/axe/.sys/make-term-in...@useless-runes.lsp
A books/kestrel/axe/.sys/make-term-in...@useless-runes.lsp
R books/kestrel/axe/.sys/make-va...@useless-runes.lsp
M books/kestrel/axe/.sys/match-hyp-with-node...@useless-runes.lsp
M books/kestrel/axe/.sys/memoi...@useless-runes.lsp
M books/kestrel/axe/.sys/merge-dag-in...@useless-runes.lsp
M books/kestrel/axe/.sys/merge-nodes-i...@useless-runes.lsp
M books/kestrel/axe/.sys/merge-sort-b...@useless-runes.lsp
M books/kestrel/axe/.sys/merge-sort-le...@useless-runes.lsp
M books/kestrel/axe/.sys/merge-term-into...@useless-runes.lsp
A books/kestrel/axe/.sys/merge-term-into-...@useless-runes.lsp
M books/kestrel/axe/.sys/merge-tree-into...@useless-runes.lsp
R books/kestrel/axe/.sys/my-sublis-var-...@useless-runes.lsp
M books/kestrel/axe/.sys/no-a...@useless-runes.lsp
A books/kestrel/axe/.sys/node-replacement-...@useless-runes.lsp
M books/kestrel/axe/.sys/node-replac...@useless-runes.lsp
M books/kestrel/axe/.sys/node-replac...@useless-runes.lsp
M books/kestrel/axe/.sys/node-replac...@useless-runes.lsp
A books/kestrel/axe/.sys/nodenum-t...@useless-runes.lsp
M books/kestrel/axe/.sys/packb...@useless-runes.lsp
A books/kestrel/axe/.sys/prove-with...@useless-runes.lsp
A books/kestrel/axe/.sys/prove-w...@useless-runes.lsp
M books/kestrel/axe/.sys/prover-basic-c...@useless-runes.lsp
M books/kestrel/axe/.sys/prover...@useless-runes.lsp
M books/kestrel/axe/.sys/prover...@useless-runes.lsp
M books/kestrel/axe/.sys/prover-st...@useless-runes.lsp
A books/kestrel/axe/.sys/pro...@useless-runes.lsp
A books/kestrel/axe/.sys/prune...@useless-runes.lsp
A books/kestrel/axe/.sys/prune-with-c...@useless-runes.lsp
A books/kestrel/axe/.sys/prune-wit...@useless-runes.lsp
A books/kestrel/axe/.sys/pr...@useless-runes.lsp
M books/kestrel/axe/.sys/rebuild-...@useless-runes.lsp
M books/kestrel/axe/.sys/rebuild...@useless-runes.lsp
M books/kestrel/axe/.sys/rebuil...@useless-runes.lsp
M books/kestrel/axe/.sys/refined-assu...@useless-runes.lsp
A books/kestrel/axe/.sys/renamin...@useless-runes.lsp
M books/kestrel/axe/.sys/replace-usin...@useless-runes.lsp
M books/kestrel/axe/.sys/replace-...@useless-runes.lsp
M books/kestrel/axe/.sys/result...@useless-runes.lsp
M books/kestrel/axe/.sys/rewrite...@useless-runes.lsp
M books/kestrel/axe/.sys/rewrite...@useless-runes.lsp
M books/kestrel/axe/.sys/rewriter...@useless-runes.lsp
A books/kestrel/axe/.sys/rewrite...@useless-runes.lsp
A books/kestrel/axe/.sys/rewr...@useless-runes.lsp
M books/kestrel/axe/.sys/rule-...@useless-runes.lsp
M books/kestrel/axe/.sys/rule-...@useless-runes.lsp
R books/kestrel/axe/.sys/rule-li...@useless-runes.lsp
M books/kestrel/axe/.sys/rul...@useless-runes.lsp
M books/kestrel/axe/.sys/rul...@useless-runes.lsp
A books/kestrel/axe/.sys/rul...@useless-runes.lsp
M books/kestrel/axe/.sys/set-...@useless-runes.lsp
A books/kestrel/axe/.sys/simplify-...@useless-runes.lsp
A books/kestrel/axe/.sys/simpli...@useless-runes.lsp
M books/kestrel/axe/.sys/spli...@useless-runes.lsp
A books/kestrel/axe/.sys/step-in...@useless-runes.lsp
M books/kestrel/axe/.sys/stored...@useless-runes.lsp
A books/kestrel/axe/.sys/stp-clause-pr...@useless-runes.lsp
A books/kestrel/axe/.sys/stp-clause...@useless-runes.lsp
A books/kestrel/axe/.sys/stp-count...@useless-runes.lsp
A books/kestrel/axe/.sys/sublis-var-a...@useless-runes.lsp
A books/kestrel/axe/.sys/sublis-va...@useless-runes.lsp
M books/kestrel/axe/.sys/substitu...@useless-runes.lsp
M books/kestrel/axe/.sys/substit...@useless-runes.lsp
M books/kestrel/axe/.sys/supporti...@useless-runes.lsp
M books/kestrel/axe/.sys/support...@useless-runes.lsp
A books/kestrel/axe/.sys/tactic-pr...@useless-runes.lsp
A books/kestrel/axe/.sys/tactic...@useless-runes.lsp
A books/kestrel/axe/.sys/tagged-r...@useless-runes.lsp
A books/kestrel/axe/.sys/term-eq...@useless-runes.lsp
A books/kestrel/axe/.sys/test...@useless-runes.lsp
A books/kestrel/axe/.sys/t...@useless-runes.lsp
A books/kestrel/axe/.sys/translate-...@useless-runes.lsp
M books/kestrel/axe/.sys/translat...@useless-runes.lsp
M books/kestrel/axe/.sys/unguarded...@useless-runes.lsp
M books/kestrel/axe/.sys/unguarde...@useless-runes.lsp
M books/kestrel/axe/.sys/unify-term-and-...@useless-runes.lsp
M books/kestrel/axe/.sys/unify-term-...@useless-runes.lsp
M books/kestrel/axe/.sys/unify-ter...@useless-runes.lsp
M books/kestrel/axe/.sys/unify-tre...@useless-runes.lsp
A books/kestrel/axe/.sys/ut...@useless-runes.lsp
M books/kestrel/axe/.sys/wf-...@useless-runes.lsp
M books/kestrel/axe/.sys/worklis...@useless-runes.lsp
M books/kestrel/axe/.sys/work...@useless-runes.lsp
A books/kestrel/axe/jvm/.sys/axe-bind-free...@useless-runes.lsp
A books/kestrel/axe/jvm/.sys/axe-syntax-f...@useless-runes.lsp
A books/kestrel/axe/jvm/.sys/axe-syntax-f...@useless-runes.lsp
A books/kestrel/axe/jvm/.sys/axe-syntaxp-...@useless-runes.lsp
A books/kestrel/axe/jvm/.sys/formal-un...@useless-runes.lsp
A books/kestrel/axe/jvm/.sys/jvm-rul...@useless-runes.lsp
A books/kestrel/axe/jvm/.sys/jvm-ru...@useless-runes.lsp
A books/kestrel/axe/jvm/.sys/lifter-u...@useless-runes.lsp
A books/kestrel/axe/jvm/.sys/lifter-u...@useless-runes.lsp
A books/kestrel/axe/jvm/.sys/lifter-u...@useless-runes.lsp
A books/kestrel/axe/jvm/.sys/lif...@useless-runes.lsp
A books/kestrel/axe/jvm/.sys/rewrit...@useless-runes.lsp
A books/kestrel/axe/jvm/.sys/rule-li...@useless-runes.lsp
A books/kestrel/axe/jvm/.sys/rules-in-ru...@useless-runes.lsp
A books/kestrel/axe/jvm/.sys/t...@useless-runes.lsp
A books/kestrel/axe/jvm/.sys/unroll-java...@useless-runes.lsp
A books/kestrel/axe/jvm/.sys/unroll-j...@useless-runes.lsp
A books/kestrel/axe/x86/.sys/t...@useless-runes.lsp
A books/kestrel/axe/x86/.sys/unroll-...@useless-runes.lsp
M books/kestrel/bitcoin/.sys/bas...@useless-runes.lsp
M books/kestrel/bitcoin/.sys/bip32-ex...@useless-runes.lsp
M books/kestrel/bitcoin/.sys/bi...@useless-runes.lsp
M books/kestrel/bitcoin/.sys/bi...@useless-runes.lsp
M books/kestrel/bitcoin/.sys/bi...@useless-runes.lsp
M books/kestrel/booleans/.sys/boo...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/all-sign...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/all-unsign...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/all-unsig...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bits-and-bytes-i...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bits-and-byt...@useless-runes.lsp
A books/kestrel/bv-lists/.sys/bits-to-byte...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bits-to-b...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bits-t...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bv-array-conv...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bv-array-c...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bv-array-c...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bv-arr...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bv-arra...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bv-a...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bv-a...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bvchop...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bvcho...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bvnot...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bv...@useless-runes.lsp
A books/kestrel/bv-lists/.sys/bvxor-li...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bvxor...@useless-runes.lsp
A books/kestrel/bv-lists/.sys/byte-...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/byte-to-b...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/byte-t...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bytes-to-b...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bytes-to-b...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bytes-t...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bytes-...@useless-runes.lsp
A books/kestrel/bv-lists/.sys/d...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/getbi...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/len-mul...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/list-p...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/map-p...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/packbv-an...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/packbv-...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/pac...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/pac...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/string-...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/unpa...@useless-runes.lsp
A books/kestrel/bv-lists/.sys/unsigned-by...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/unsigned-...@useless-runes.lsp
M books/kestrel/bv/.sys/ad...@useless-runes.lsp
M books/kestrel/bv/.sys/ar...@useless-runes.lsp
M books/kestrel/bv/.sys/bit...@useless-runes.lsp
M books/kestrel/bv/.sys/bit...@useless-runes.lsp
M books/kestrel/bv/.sys/bi...@useless-runes.lsp
A books/kestrel/bv/.sys/bi...@useless-runes.lsp
M books/kestrel/bv/.sys/bit...@useless-runes.lsp
M books/kestrel/bv/.sys/bit...@useless-runes.lsp
M books/kestrel/bv/.sys/bit...@useless-runes.lsp
M books/kestrel/bv/.sys/bool-...@useless-runes.lsp
M books/kestrel/bv/.sys/bv-s...@useless-runes.lsp
M books/kestrel/bv/.sys/bv...@useless-runes.lsp
M books/kestrel/bv/.sys/bva...@useless-runes.lsp
M books/kestrel/bv/.sys/bvca...@useless-runes.lsp
M books/kestrel/bv/.sys/bvc...@useless-runes.lsp
M books/kestrel/bv/.sys/bv...@useless-runes.lsp
M books/kestrel/bv/.sys/bvcho...@useless-runes.lsp
M books/kestrel/bv/.sys/bvc...@useless-runes.lsp
M books/kestrel/bv/.sys/bvc...@useless-runes.lsp
A books/kestrel/bv/.sys/bvdiv...@useless-runes.lsp
M books/kestrel/bv/.sys/bv...@useless-runes.lsp
M books/kestrel/bv/.sys/bv...@useless-runes.lsp
M books/kestrel/bv/.sys/bv...@useless-runes.lsp
M books/kestrel/bv/.sys/bv...@useless-runes.lsp
A books/kestrel/bv/.sys/bvminu...@useless-runes.lsp
M books/kestrel/bv/.sys/bvm...@useless-runes.lsp
M books/kestrel/bv/.sys/bv...@useless-runes.lsp
M books/kestrel/bv/.sys/bvm...@useless-runes.lsp
M books/kestrel/bv/.sys/bv...@useless-runes.lsp
M books/kestrel/bv/.sys/bv...@useless-runes.lsp
M books/kestrel/bv/.sys/bvp...@useless-runes.lsp
A books/kestrel/bv/.sys/bvsh...@useless-runes.lsp
M books/kestrel/bv/.sys/bv...@useless-runes.lsp
A books/kestrel/bv/.sys/bvsh...@useless-runes.lsp
M books/kestrel/bv/.sys/bv...@useless-runes.lsp
M books/kestrel/bv/.sys/bv...@useless-runes.lsp
M books/kestrel/bv/.sys/bvum...@useless-runes.lsp
M books/kestrel/bv/.sys/bv...@useless-runes.lsp
A books/kestrel/bv/.sys/by...@useless-runes.lsp
M books/kestrel/bv/.sys/defs-b...@useless-runes.lsp
R books/kestrel/bv/.sys/defs-...@useless-runes.lsp
M books/kestrel/bv/.sys/de...@useless-runes.lsp
M books/kestrel/bv/.sys/floor-m...@useless-runes.lsp
A books/kestrel/bv/.sys/getbit...@useless-runes.lsp
M books/kestrel/bv/.sys/get...@useless-runes.lsp
M books/kestrel/bv/.sys/get...@useless-runes.lsp
M books/kestrel/bv/.sys/idi...@useless-runes.lsp
A books/kestrel/bv/.sys/leftro...@useless-runes.lsp
A books/kestrel/bv/.sys/leftro...@useless-runes.lsp
A books/kestrel/bv/.sys/leftro...@useless-runes.lsp
M books/kestrel/bv/.sys/leftr...@useless-runes.lsp
M books/kestrel/bv/.sys/log...@useless-runes.lsp
M books/kestrel/bv/.sys/log...@useless-runes.lsp
M books/kestrel/bv/.sys/log...@useless-runes.lsp
M books/kestrel/bv/.sys/log...@useless-runes.lsp
M books/kestrel/bv/.sys/logi...@useless-runes.lsp
M books/kestrel/bv/.sys/log...@useless-runes.lsp
M books/kestrel/bv/.sys/log...@useless-runes.lsp
M books/kestrel/bv/.sys/log...@useless-runes.lsp
M books/kestrel/bv/.sys/log...@useless-runes.lsp
M books/kestrel/bv/.sys/logx...@useless-runes.lsp
M books/kestrel/bv/.sys/log...@useless-runes.lsp
M books/kestrel/bv/.sys/ones-co...@useless-runes.lsp
M books/kestrel/bv/.sys/overflow-an...@useless-runes.lsp
M books/kestrel/bv/.sys/put...@useless-runes.lsp
M books/kestrel/bv/.sys/repea...@useless-runes.lsp
M books/kestrel/bv/.sys/rightr...@useless-runes.lsp
M books/kestrel/bv/.sys/right...@useless-runes.lsp
M books/kestrel/bv/.sys/rot...@useless-runes.lsp
M books/kestrel/bv/.sys/rul...@useless-runes.lsp
A books/kestrel/bv/.sys/rul...@useless-runes.lsp
M books/kestrel/bv/.sys/rul...@useless-runes.lsp
M books/kestrel/bv/.sys/rul...@useless-runes.lsp
M books/kestrel/bv/.sys/rul...@useless-runes.lsp
A books/kestrel/bv/.sys/rul...@useless-runes.lsp
A books/kestrel/bv/.sys/rul...@useless-runes.lsp
M books/kestrel/bv/.sys/rul...@useless-runes.lsp
M books/kestrel/bv/.sys/rul...@useless-runes.lsp
M books/kestrel/bv/.sys/rul...@useless-runes.lsp
M books/kestrel/bv/.sys/ru...@useless-runes.lsp
M books/kestrel/bv/.sys/sbvdiv...@useless-runes.lsp
M books/kestrel/bv/.sys/sbv...@useless-runes.lsp
M books/kestrel/bv/.sys/sbvdivdo...@useless-runes.lsp
A books/kestrel/bv/.sys/sbvdi...@useless-runes.lsp
M books/kestrel/bv/.sys/sbvlt...@useless-runes.lsp
M books/kestrel/bv/.sys/sb...@useless-runes.lsp
M books/kestrel/bv/.sys/sbvmo...@useless-runes.lsp
M books/kestrel/bv/.sys/sbvrem...@useless-runes.lsp
M books/kestrel/bv/.sys/sbv...@useless-runes.lsp
M books/kestrel/bv/.sys/singl...@useless-runes.lsp
A books/kestrel/bv/.sys/slice...@useless-runes.lsp
M books/kestrel/bv/.sys/sli...@useless-runes.lsp
M books/kestrel/bv/.sys/sl...@useless-runes.lsp
M books/kestrel/bv/.sys/unsigned...@useless-runes.lsp
M books/kestrel/bv/.sys/unsigne...@useless-runes.lsp
M books/kestrel/c/atc/.sys/abstract-synt...@useless-runes.lsp
M books/kestrel/c/atc/.sys/abstrac...@useless-runes.lsp
M books/kestrel/c/atc/.sys/arr...@useless-runes.lsp
A books/kestrel/c/atc/.sys/a...@useless-runes.lsp
M books/kestrel/c/atc/.sys/computati...@useless-runes.lsp
A books/kestrel/c/atc/.sys/conditional...@useless-runes.lsp
M books/kestrel/c/atc/.sys/err...@useless-runes.lsp
R books/kestrel/c/atc/.sys/exec-limi...@useless-runes.lsp
M books/kestrel/c/atc/.sys/exec...@useless-runes.lsp
M books/kestrel/c/atc/.sys/function-e...@useless-runes.lsp
M books/kestrel/c/atc/.sys/integer-c...@useless-runes.lsp
M books/kestrel/c/atc/.sys/integer...@useless-runes.lsp
M books/kestrel/c/atc/.sys/integer-o...@useless-runes.lsp
M books/kestrel/c/atc/.sys/inte...@useless-runes.lsp
A books/kestrel/c/atc/.sys/let-desi...@useless-runes.lsp
A books/kestrel/c/atc/.sys/pa...@useless-runes.lsp
M books/kestrel/c/atc/.sys/poin...@useless-runes.lsp
M books/kestrel/c/atc/.sys/pretty-...@useless-runes.lsp
M books/kestrel/c/atc/.sys/proof-...@useless-runes.lsp
M books/kestrel/c/atc/.sys/static-s...@useless-runes.lsp
M books/kestrel/c/atc/.sys/ty...@useless-runes.lsp
M books/kestrel/c/atc/.sys/val...@useless-runes.lsp
A books/kestrel/c/atc/tests/.sys/arrays...@useless-runes.lsp
M books/kestrel/c/atc/tests/.sys/arr...@useless-runes.lsp
M books/kestrel/c/atc/tests/.sys/ass...@useless-runes.lsp
M books/kestrel/c/atc/tests/.sys/ca...@useless-runes.lsp
M books/kestrel/c/atc/tests/.sys/chec...@useless-runes.lsp
M books/kestrel/c/atc/tests/.sys/condit...@useless-runes.lsp
A books/kestrel/c/atc/tests/.sys/cons...@useless-runes.lsp
M books/kestrel/c/atc/tests/.sys/conve...@useless-runes.lsp
M books/kestrel/c/atc/tests/.sys/i...@useless-runes.lsp
M books/kestrel/c/atc/tests/.sys/loc...@useless-runes.lsp
A books/kestrel/c/atc/tests/.sys/lo...@useless-runes.lsp
M books/kestrel/c/atc/tests/.sys/m...@useless-runes.lsp
M books/kestrel/c/atc/tests/.sys/nons...@useless-runes.lsp
M books/kestrel/c/atc/tests/.sys/oper...@useless-runes.lsp
M books/kestrel/crypto/attachments/.sys/hmac-s...@useless-runes.lsp
M books/kestrel/crypto/attachments/.sys/kecca...@useless-runes.lsp
M books/kestrel/crypto/attachments/.sys/pbkdf2-hm...@useless-runes.lsp
M books/kestrel/crypto/blake/.sys/blake-25...@useless-runes.lsp
M books/kestrel/crypto/blake/.sys/blak...@useless-runes.lsp
M books/kestrel/crypto/blake/.sys/blake-c...@useless-runes.lsp
M books/kestrel/crypto/blake/.sys/blake2s-ext...@useless-runes.lsp
A books/kestrel/crypto/blake/.sys/blake2s-exten...@useless-runes.lsp
M books/kestrel/crypto/blake/.sys/blake2...@useless-runes.lsp
M books/kestrel/crypto/blake/.sys/bla...@useless-runes.lsp
M books/kestrel/crypto/ecdsa/.sys/deterministic-...@useless-runes.lsp
M books/kestrel/crypto/ecurve/.sys/birational-montgom...@useless-runes.lsp
M books/kestrel/crypto/ecurve/.sys/edward...@useless-runes.lsp
M books/kestrel/crypto/ecurve/.sys/montg...@useless-runes.lsp
M books/kestrel/crypto/ecurve/.sys/odd-prim...@useless-runes.lsp
M books/kestrel/crypto/ecurve/.sys/prime-field...@useless-runes.lsp
M books/kestrel/crypto/ecurve/.sys/prime-fi...@useless-runes.lsp
M books/kestrel/crypto/ecurve/.sys/prime-field-squar...@useless-runes.lsp
M books/kestrel/crypto/ecurve/.sys/prime-fie...@useless-runes.lsp
R books/kestrel/crypto/ecurve/.sys/pri...@useless-runes.lsp
M books/kestrel/crypto/ecurve/.sys/secp256k1-dom...@useless-runes.lsp
M books/kestrel/crypto/ecurve/.sys/secp256k1-poi...@useless-runes.lsp
M books/kestrel/crypto/ecurve/.sys/secp...@useless-runes.lsp
M books/kestrel/crypto/ecurve/.sys/short-weierstra...@useless-runes.lsp
M books/kestrel/crypto/ecurve/.sys/short-weierstr...@useless-runes.lsp
M books/kestrel/crypto/ecurve/.sys/short-we...@useless-runes.lsp
M books/kestrel/crypto/ecurve/.sys/t...@useless-runes.lsp
M books/kestrel/crypto/ecurve/.sys/twisted-edward...@useless-runes.lsp
M books/kestrel/crypto/ecurve/.sys/twisted...@useless-runes.lsp
M books/kestrel/crypto/hmac/.sys/hmac-s...@useless-runes.lsp
M books/kestrel/crypto/hmac/.sys/hmac-s...@useless-runes.lsp
M books/kestrel/crypto/kdf/.sys/pbkdf2-hm...@useless-runes.lsp
M books/kestrel/crypto/keccak/.sys/keccak-t...@useless-runes.lsp
M books/kestrel/crypto/keccak/.sys/kec...@useless-runes.lsp
M books/kestrel/crypto/mimc/.sys/mimcs...@useless-runes.lsp
M books/kestrel/crypto/padding/.sys/pad-to-448...@useless-runes.lsp
M books/kestrel/crypto/padding/.sys/pad-t...@useless-runes.lsp
M books/kestrel/crypto/padding/.sys/pad-to-896...@useless-runes.lsp
M books/kestrel/crypto/padding/.sys/pad-t...@useless-runes.lsp
M books/kestrel/crypto/pfcs/.sys/abstract-synt...@useless-runes.lsp
M books/kestrel/crypto/pfcs/.sys/abstrac...@useless-runes.lsp
A books/kestrel/crypto/pfcs/.sys/examples...@useless-runes.lsp
R books/kestrel/crypto/pfcs/.sys/exam...@useless-runes.lsp
A books/kestrel/crypto/pfcs/.sys/semanti...@useless-runes.lsp
A books/kestrel/crypto/pfcs/.sys/semantic...@useless-runes.lsp
M books/kestrel/crypto/pfcs/.sys/sema...@useless-runes.lsp
A books/kestrel/crypto/pfcs/.sys/well-fo...@useless-runes.lsp
M books/kestrel/crypto/primes/.sys/baby-jubjub-s...@useless-runes.lsp
M books/kestrel/crypto/primes/.sys/bls12-3...@useless-runes.lsp
M books/kestrel/crypto/primes/.sys/bls12-3...@useless-runes.lsp
M books/kestrel/crypto/primes/.sys/bn-254-gr...@useless-runes.lsp
M books/kestrel/crypto/primes/.sys/edwards-bls12-37...@useless-runes.lsp
M books/kestrel/crypto/primes/.sys/jubjub-sub...@useless-runes.lsp
M books/kestrel/crypto/primes/.sys/secp256k1-...@useless-runes.lsp
M books/kestrel/crypto/primes/.sys/secp256k1-...@useless-runes.lsp
M books/kestrel/crypto/primes/.sys/t...@useless-runes.lsp
R books/kestrel/crypto/r1cs/.sys/fe-lis...@useless-runes.lsp
R books/kestrel/crypto/r1cs/.sys/fe-l...@useless-runes.lsp
M books/kestrel/crypto/r1cs/.sys/gad...@useless-runes.lsp
M books/kestrel/crypto/r1cs/gadgets/.sys/boolean-...@useless-runes.lsp
M books/kestrel/crypto/r1cs/gadgets/.sys/boolea...@useless-runes.lsp
M books/kestrel/crypto/r1cs/gadgets/.sys/nonzer...@useless-runes.lsp
M books/kestrel/crypto/r1cs/gadgets/.sys/selecti...@useless-runes.lsp
M books/kestrel/crypto/r1cs/gadgets/.sys/xor-...@useless-runes.lsp
A books/kestrel/crypto/r1cs/sparse/.sys/r1cs-...@useless-runes.lsp
M books/kestrel/crypto/r1cs/sparse/.sys/r1...@useless-runes.lsp
M books/kestrel/crypto/r1cs/sparse/gadgets/.sys/boole...@useless-runes.lsp
M books/kestrel/crypto/r1cs/sparse/gadgets/.sys/boo...@useless-runes.lsp
M books/kestrel/crypto/r1cs/sparse/gadgets/.sys/conditiona...@useless-runes.lsp
M books/kestrel/crypto/r1cs/sparse/gadgets/.sys/non...@useless-runes.lsp
M books/kestrel/crypto/r1cs/sparse/gadgets/.sys/pac...@useless-runes.lsp
M books/kestrel/crypto/r1cs/sparse/gadgets/.sys/sele...@useless-runes.lsp
M books/kestrel/crypto/r1cs/sparse/gadgets/.sys/x...@useless-runes.lsp
M books/kestrel/crypto/r1cs/tools/.sys/axe-evalu...@useless-runes.lsp
M books/kestrel/crypto/r1cs/tools/.sys/axe-pro...@useless-runes.lsp
M books/kestrel/crypto/r1cs/tools/.sys/axe-rul...@useless-runes.lsp
M books/kestrel/crypto/r1cs/tools/.sys/axe-syntaxp-e...@useless-runes.lsp
A books/kestrel/crypto/r1cs/tools/.sys/d...@useless-runes.lsp
M books/kestrel/crypto/r1cs/tools/.sys/filter-and-combi...@useless-runes.lsp
M books/kestrel/crypto/r1cs/tools/.sys/lift-r1c...@useless-runes.lsp
M books/kestrel/crypto/r1cs/tools/.sys/lift-r1...@useless-runes.lsp
M books/kestrel/crypto/r1cs/tools/.sys/lift...@useless-runes.lsp
A books/kestrel/crypto/r1cs/tools/.sys/order-r...@useless-runes.lsp
A books/kestrel/crypto/r1cs/tools/.sys/verif...@useless-runes.lsp
M books/kestrel/crypto/sha-2/.sys/sha...@useless-runes.lsp
M books/kestrel/crypto/sha-2/.sys/sha...@useless-runes.lsp
M books/kestrel/ethereum/.sys/data...@useless-runes.lsp
M books/kestrel/ethereum/.sys/hex-p...@useless-runes.lsp
M books/kestrel/ethereum/.sys/mmp-...@useless-runes.lsp
M books/kestrel/ethereum/.sys/t...@useless-runes.lsp
M books/kestrel/ethereum/rlp/.sys/decoda...@useless-runes.lsp
M books/kestrel/ethereum/rlp/.sys/decoding-...@useless-runes.lsp
M books/kestrel/ethereum/rlp/.sys/enco...@useless-runes.lsp
M books/kestrel/ethereum/rlp/.sys/tr...@useless-runes.lsp
M books/kestrel/ethereum/semaphore/.sys/baby-...@useless-runes.lsp
M books/kestrel/ethereum/semaphore/.sys/base-points-fo...@useless-runes.lsp
M books/kestrel/ethereum/semaphore/.sys/blake2s-mi...@useless-runes.lsp
M books/kestrel/ethereum/semaphore/.sys/edwards2mont...@useless-runes.lsp
A books/kestrel/ethereum/semaphore/.sys/lift-sema...@useless-runes.lsp
M books/kestrel/ethereum/semaphore/.sys/mimcsponge...@useless-runes.lsp
M books/kestrel/ethereum/semaphore/.sys/mimcsponge...@useless-runes.lsp
M books/kestrel/ethereum/semaphore/.sys/mimcsponge...@useless-runes.lsp
M books/kestrel/ethereum/semaphore/.sys/montgomery2e...@useless-runes.lsp
M books/kestrel/ethereum/semaphore/.sys/montgomer...@useless-runes.lsp
M books/kestrel/ethereum/semaphore/.sys/montgomeryd...@useless-runes.lsp
M books/kestrel/ethereum/semaphore/.sys/multimux...@useless-runes.lsp
M books/kestrel/ethereum/semaphore/.sys/multimux...@useless-runes.lsp
M books/kestrel/ethereum/semaphore/.sys/peders...@useless-runes.lsp
R books/kestrel/ethereum/semaphore/.sys/proof...@useless-runes.lsp
A books/kestrel/ethereum/semaphore/.sys/r1cs-pro...@useless-runes.lsp
A books/kestrel/ethereum/semaphore/.sys/verify-sem...@useless-runes.lsp
R books/kestrel/event-macros/.sys/evmac-inp...@useless-runes.lsp
M books/kestrel/event-macros/.sys/screen-...@useless-runes.lsp
M books/kestrel/event-macros/.sys/template-...@useless-runes.lsp
A books/kestrel/file-io-light/.sys/d...@useless-runes.lsp
A books/kestrel/file-io-light/.sys/file-is-n...@useless-runes.lsp
M books/kestrel/file-io-light/.sys/file-leng...@useless-runes.lsp
A books/kestrel/file-io-light/.sys/file-write-...@useless-runes.lsp
M books/kestrel/file-io-light/.sys/open-inpu...@useless-runes.lsp
M books/kestrel/file-io-light/.sys/open-output-...@useless-runes.lsp
M books/kestrel/file-io-light/.sys/open-outp...@useless-runes.lsp
M books/kestrel/file-io-light/.sys/princ-...@useless-runes.lsp
A books/kestrel/file-io-light/.sys/print-obj...@useless-runes.lsp
A books/kestrel/file-io-light/.sys/read-byt...@useless-runes.lsp
A books/kestrel/file-io-light/.sys/read-file-in...@useless-runes.lsp
A books/kestrel/file-io-light/.sys/read-file-into...@useless-runes.lsp
A books/kestrel/file-io-light/.sys/read-file-...@useless-runes.lsp
A books/kestrel/file-io-light/.sys/read-objec...@useless-runes.lsp
A books/kestrel/file-io-light/.sys/read-...@useless-runes.lsp
M books/kestrel/file-io-light/.sys/write-by...@useless-runes.lsp
M books/kestrel/file-io-light/.sys/write-bytes...@useless-runes.lsp
A books/kestrel/file-io-light/.sys/write-object...@useless-runes.lsp
A books/kestrel/file-io-light/.sys/write-objects...@useless-runes.lsp
A books/kestrel/file-io-light/.sys/write-obje...@useless-runes.lsp
M books/kestrel/file-io-light/.sys/write-string...@useless-runes.lsp
M books/kestrel/fty/.sys/b...@useless-runes.lsp
M books/kestrel/fty/.sys/bit-...@useless-runes.lsp
M books/kestrel/fty/.sys/byte...@useless-runes.lsp
M books/kestrel/fty/.sys/defbytel...@useless-runes.lsp
M books/kestrel/fty/.sys/deffixe...@useless-runes.lsp
M books/kestrel/fty/.sys/deffixtype-...@useless-runes.lsp
M books/kestrel/fty/.sys/defoma...@useless-runes.lsp
M books/kestrel/fty/.sys/def...@useless-runes.lsp
M books/kestrel/fty/.sys/defset...@useless-runes.lsp
M books/kestrel/fty/.sys/defsubty...@useless-runes.lsp
A books/kestrel/fty/.sys/fty-...@useless-runes.lsp
M books/kestrel/fty/.sys/m...@useless-runes.lsp
M books/kestrel/fty/.sys/nat...@useless-runes.lsp
M books/kestrel/fty/.sys/nibbl...@useless-runes.lsp
M books/kestrel/fty/.sys/sbyte...@useless-runes.lsp
M books/kestrel/fty/.sys/sbyte1...@useless-runes.lsp
M books/kestrel/fty/.sys/sbyte1...@useless-runes.lsp
M books/kestrel/fty/.sys/sbyte...@useless-runes.lsp
M books/kestrel/fty/.sys/sbyte2...@useless-runes.lsp
M books/kestrel/fty/.sys/sbyte...@useless-runes.lsp
M books/kestrel/fty/.sys/sbyte3...@useless-runes.lsp
M books/kestrel/fty/.sys/sbyte...@useless-runes.lsp
M books/kestrel/fty/.sys/sbyte6...@useless-runes.lsp
M books/kestrel/fty/.sys/sbyte...@useless-runes.lsp
M books/kestrel/fty/.sys/s...@useless-runes.lsp
M books/kestrel/fty/.sys/ubyte...@useless-runes.lsp
M books/kestrel/fty/.sys/ubyte1...@useless-runes.lsp
M books/kestrel/fty/.sys/ubyte1...@useless-runes.lsp
M books/kestrel/fty/.sys/ubyte1...@useless-runes.lsp
M books/kestrel/fty/.sys/ubyte...@useless-runes.lsp
M books/kestrel/fty/.sys/ubyte2...@useless-runes.lsp
M books/kestrel/fty/.sys/ubyte...@useless-runes.lsp
M books/kestrel/fty/.sys/ubyte3...@useless-runes.lsp
M books/kestrel/fty/.sys/ubyte...@useless-runes.lsp
M books/kestrel/fty/.sys/ubyte6...@useless-runes.lsp
M books/kestrel/fty/.sys/ubyte...@useless-runes.lsp
M books/kestrel/hdwallet/.sys/wal...@useless-runes.lsp
M books/kestrel/isar/.sys/defisa...@useless-runes.lsp
M books/kestrel/isar/.sys/def...@useless-runes.lsp
M books/kestrel/java/atj/.sys/code-ge...@useless-runes.lsp
M books/kestrel/java/atj/.sys/common-code...@useless-runes.lsp
M books/kestrel/java/atj/.sys/deep-code-...@useless-runes.lsp
M books/kestrel/java/atj/.sys/input-pr...@useless-runes.lsp
M books/kestrel/java/atj/.sys/java-abstr...@useless-runes.lsp
M books/kestrel/java/atj/.sys/java-primitiv...@useless-runes.lsp
M books/kestrel/java/atj/.sys/java-syntax...@useless-runes.lsp
M books/kestrel/java/atj/.sys/library-e...@useless-runes.lsp
M books/kestrel/java/atj/.sys/name-tra...@useless-runes.lsp
M books/kestrel/java/atj/.sys/post-tra...@useless-runes.lsp
M books/kestrel/java/atj/.sys/pre-tra...@useless-runes.lsp
M books/kestrel/java/atj/.sys/shallow-cod...@useless-runes.lsp
M books/kestrel/java/atj/.sys/shallow-quoted-co...@useless-runes.lsp
M books/kestrel/java/atj/.sys/test-st...@useless-runes.lsp
M books/kestrel/java/atj/.sys/type-...@useless-runes.lsp
M books/kestrel/java/atj/.sys/ty...@useless-runes.lsp
M books/kestrel/java/atj/tests/.sys/fibo...@useless-runes.lsp
M books/kestrel/java/atj/tests/.sys/nat...@useless-runes.lsp
M books/kestrel/java/atj/tests/.sys/primi...@useless-runes.lsp
M books/kestrel/java/language/.sys/binary-digit...@useless-runes.lsp
M books/kestrel/java/language/.sys/binary...@useless-runes.lsp
M books/kestrel/java/language/.sys/binary-inte...@useless-runes.lsp
M books/kestrel/java/language/.sys/boolean-liter...@useless-runes.lsp
M books/kestrel/java/language/.sys/decimal-digi...@useless-runes.lsp
M books/kestrel/java/language/.sys/decimal...@useless-runes.lsp
M books/kestrel/java/language/.sys/decimal-inte...@useless-runes.lsp
M books/kestrel/java/language/.sys/gra...@useless-runes.lsp
M books/kestrel/java/language/.sys/hexadecimal-di...@useless-runes.lsp
M books/kestrel/java/language/.sys/hexadecim...@useless-runes.lsp
M books/kestrel/java/language/.sys/hexadecimal-in...@useless-runes.lsp
M books/kestrel/java/language/.sys/ident...@useless-runes.lsp
M books/kestrel/java/language/.sys/keywords-...@useless-runes.lsp
M books/kestrel/java/language/.sys/null-litera...@useless-runes.lsp
M books/kestrel/java/language/.sys/octal-digit...@useless-runes.lsp
M books/kestrel/java/language/.sys/octal-...@useless-runes.lsp
M books/kestrel/java/language/.sys/octal-integ...@useless-runes.lsp
M books/kestrel/java/language/.sys/poin...@useless-runes.lsp
M books/kestrel/java/language/.sys/primitive-fu...@useless-runes.lsp
M books/kestrel/java/language/.sys/primitive-...@useless-runes.lsp
M books/kestrel/java/language/.sys/primitiv...@useless-runes.lsp
M books/kestrel/java/language/.sys/referen...@useless-runes.lsp
M books/kestrel/java/language/.sys/string-...@useless-runes.lsp
M books/kestrel/java/language/.sys/ty...@useless-runes.lsp
M books/kestrel/java/language/.sys/unicode-c...@useless-runes.lsp
M books/kestrel/java/language/.sys/unicode...@useless-runes.lsp
M books/kestrel/json-parser/.sys/parse-j...@useless-runes.lsp
A books/kestrel/json-parser/.sys/parse-js...@useless-runes.lsp
M books/kestrel/json-parser/.sys/parse...@useless-runes.lsp
M books/kestrel/json/.sys/abstrac...@useless-runes.lsp
M books/kestrel/json/.sys/json-...@useless-runes.lsp
M books/kestrel/json/.sys/light-a...@useless-runes.lsp
M books/kestrel/json/.sys/parser-output-to...@useless-runes.lsp
A books/kestrel/jvm/.sys/ad...@useless-runes.lsp
A books/kestrel/jvm/.sys/a...@useless-runes.lsp
A books/kestrel/jvm/.sys/adsl...@useless-runes.lsp
A books/kestrel/jvm/.sys/ads...@useless-runes.lsp
A books/kestrel/jvm/.sys/array-b...@useless-runes.lsp
A books/kestrel/jvm/.sys/arra...@useless-runes.lsp
A books/kestrel/jvm/.sys/arr...@useless-runes.lsp
A books/kestrel/jvm/.sys/arr...@useless-runes.lsp
A books/kestrel/jvm/.sys/call-...@useless-runes.lsp
A books/kestrel/jvm/.sys/class-and-...@useless-runes.lsp
A books/kestrel/jvm/.sys/class-fi...@useless-runes.lsp
A books/kestrel/jvm/.sys/class-...@useless-runes.lsp
A books/kestrel/jvm/.sys/cla...@useless-runes.lsp
A books/kestrel/jvm/.sys/control-f...@useless-runes.lsp
A books/kestrel/jvm/.sys/contro...@useless-runes.lsp
A books/kestrel/jvm/.sys/descr...@useless-runes.lsp
A books/kestrel/jvm/.sys/do-ins...@useless-runes.lsp
A books/kestrel/jvm/.sys/events-f...@useless-runes.lsp
A books/kestrel/jvm/.sys/executio...@useless-runes.lsp
A books/kestrel/jvm/.sys/execu...@useless-runes.lsp
A books/kestrel/jvm/.sys/exec...@useless-runes.lsp
A books/kestrel/jvm/.sys/fie...@useless-runes.lsp
A books/kestrel/jvm/.sys/float-...@useless-runes.lsp
A books/kestrel/jvm/.sys/flo...@useless-runes.lsp
A books/kestrel/jvm/.sys/flo...@useless-runes.lsp
A books/kestrel/jvm/.sys/fra...@useless-runes.lsp
A books/kestrel/jvm/.sys/get-met...@useless-runes.lsp
A books/kestrel/jvm/.sys/he...@useless-runes.lsp
A books/kestrel/jvm/.sys/he...@useless-runes.lsp
A books/kestrel/jvm/.sys/instru...@useless-runes.lsp
A books/kestrel/jvm/.sys/int-su...@useless-runes.lsp
A books/kestrel/jvm/.sys/intern...@useless-runes.lsp
A books/kestrel/jvm/.sys/java-...@useless-runes.lsp
A books/kestrel/jvm/.sys/jvm-f...@useless-runes.lsp
A books/kestrel/jvm/.sys/jvm-...@useless-runes.lsp
A books/kestrel/jvm/.sys/jvm-r...@useless-runes.lsp
A books/kestrel/jvm/.sys/jvm-...@useless-runes.lsp
A books/kestrel/jvm/.sys/j...@useless-runes.lsp
A books/kestrel/jvm/.sys/load-class-f...@useless-runes.lsp
A books/kestrel/jvm/.sys/load-...@useless-runes.lsp
A books/kestrel/jvm/.sys/loc...@useless-runes.lsp
A books/kestrel/jvm/.sys/method-de...@useless-runes.lsp
A books/kestrel/jvm/.sys/method-designat...@useless-runes.lsp
A books/kestrel/jvm/.sys/method-desig...@useless-runes.lsp
A books/kestrel/jvm/.sys/met...@useless-runes.lsp
A books/kestrel/jvm/.sys/operand...@useless-runes.lsp
A books/kestrel/jvm/.sys/pc-desi...@useless-runes.lsp
A books/kestrel/jvm/.sys/read-and-par...@useless-runes.lsp
A books/kestrel/jvm/.sys/set-c...@useless-runes.lsp
A books/kestrel/jvm/.sys/str...@useless-runes.lsp
A books/kestrel/jvm/.sys/symbolic-exe...@useless-runes.lsp
A books/kestrel/jvm/.sys/symbolic-...@useless-runes.lsp
A books/kestrel/jvm/.sys/symbolic-...@useless-runes.lsp
A books/kestrel/jvm/.sys/t...@useless-runes.lsp
A books/kestrel/jvm/.sys/ty...@useless-runes.lsp
A books/kestrel/jvm/.sys/utili...@useless-runes.lsp
A books/kestrel/jvm/.sys/util...@useless-runes.lsp
A books/kestrel/library-wrappers/.sys/my-make-f...@useless-runes.lsp
A books/kestrel/library-wrappers/.sys/my-mak...@useless-runes.lsp
M books/kestrel/lists-light/.sys/add-t...@useless-runes.lsp
M books/kestrel/lists-light/.sys/app...@useless-runes.lsp
M books/kestrel/lists-light/.sys/but...@useless-runes.lsp
M books/kestrel/lists-light/.sys/count...@useless-runes.lsp
A books/kestrel/lists-light/.sys/d...@useless-runes.lsp
M books/kestrel/lists-light/.sys/fina...@useless-runes.lsp
A books/kestrel/lists-light/.sys/find-...@useless-runes.lsp
M books/kestrel/lists-light/.sys/first...@useless-runes.lsp
M books/kestrel/lists-light/.sys/fir...@useless-runes.lsp
M books/kestrel/lists-light/.sys/group...@useless-runes.lsp
M books/kestrel/lists-light/.sys/gro...@useless-runes.lsp
M books/kestrel/lists-light/.sys/gr...@useless-runes.lsp
M books/kestrel/lists-light/.sys/intersect...@useless-runes.lsp
M books/kestrel/lists-light/.sys/la...@useless-runes.lsp
M books/kestrel/lists-light/.sys/l...@useless-runes.lsp
A books/kestrel/lists-light/.sys/len...@useless-runes.lsp
M books/kestrel/lists-light/.sys/member...@useless-runes.lsp
M books/kestrel/lists-light/.sys/mem...@useless-runes.lsp
M books/kestrel/lists-light/.sys/no-duplica...@useless-runes.lsp
M books/kestrel/lists-light/.sys/n...@useless-runes.lsp
M books/kestrel/lists-light/.sys/nth...@useless-runes.lsp
M books/kestrel/lists-light/.sys/pe...@useless-runes.lsp
M books/kestrel/lists-light/.sys/pref...@useless-runes.lsp
M books/kestrel/lists-light/.sys/pre...@useless-runes.lsp
M books/kestrel/lists-light/.sys/remove...@useless-runes.lsp
M books/kestrel/lists-light/.sys/remove...@useless-runes.lsp
M books/kestrel/lists-light/.sys/repea...@useless-runes.lsp
M books/kestrel/lists-light/.sys/rep...@useless-runes.lsp
M books/kestrel/lists-light/.sys/reva...@useless-runes.lsp
M books/kestrel/lists-light/.sys/revers...@useless-runes.lsp
M books/kestrel/lists-light/.sys/rev...@useless-runes.lsp
M books/kestrel/lists-light/.sys/rul...@useless-runes.lsp
M books/kestrel/lists-light/.sys/set-differ...@useless-runes.lsp
M books/kestrel/lists-light/.sys/subr...@useless-runes.lsp
M books/kestrel/lists-light/.sys/subset...@useless-runes.lsp
M books/kestrel/lists-light/.sys/ta...@useless-runes.lsp
M books/kestrel/lists-light/.sys/ta...@useless-runes.lsp
M books/kestrel/lists-light/.sys/ung...@useless-runes.lsp
M books/kestrel/lists-light/.sys/union...@useless-runes.lsp
M books/kestrel/lists-light/.sys/updat...@useless-runes.lsp
M books/kestrel/lists-light/.sys/update-...@useless-runes.lsp
M books/kestrel/maps/.sys/ma...@useless-runes.lsp
M books/kestrel/number-theory/.sys/defprim...@useless-runes.lsp
M books/kestrel/number-theory/.sys/defp...@useless-runes.lsp
A books/kestrel/number-theory/.sys/mod-ex...@useless-runes.lsp
A books/kestrel/number-theory/.sys/m...@useless-runes.lsp
A books/kestrel/number-theory/.sys/prime...@useless-runes.lsp
M books/kestrel/number-theory/.sys/pri...@useless-runes.lsp
M books/kestrel/number-theory/.sys/quadrati...@useless-runes.lsp
A books/kestrel/number-theory/.sys/tonelli-sh...@useless-runes.lsp
M books/kestrel/number-theory/.sys/tonelli...@useless-runes.lsp
A books/kestrel/prime-fields/.sys/a...@useless-runes.lsp
M books/kestrel/prime-fields/.sys/bind-fre...@useless-runes.lsp
A books/kestrel/prime-fields/.sys/bitp-...@useless-runes.lsp
A books/kestrel/prime-fields/.sys/bv-rul...@useless-runes.lsp
M books/kestrel/prime-fields/.sys/bv-r...@useless-runes.lsp
A books/kestrel/prime-fields/.sys/d...@useless-runes.lsp
M books/kestrel/prime-fields/.sys/equal-of-add-c...@useless-runes.lsp
M books/kestrel/prime-fields/.sys/equal-of-...@useless-runes.lsp
M books/kestrel/prime-fields/.sys/equal-of-add-mov...@useless-runes.lsp
M books/kestrel/prime-fields/.sys/equal-of-ad...@useless-runes.lsp
A books/kestrel/prime-fields/.sys/fe-lis...@useless-runes.lsp
A books/kestrel/prime-fields/.sys/fe-l...@useless-runes.lsp
A books/kestrel/prime-fields/.sys/fep...@useless-runes.lsp
A books/kestrel/prime-fields/.sys/f...@useless-runes.lsp
A books/kestrel/prime-fields/.sys/i...@useless-runes.lsp
A books/kestrel/prime-fields/.sys/min...@useless-runes.lsp
A books/kestrel/prime-fields/.sys/m...@useless-runes.lsp
A books/kestrel/prime-fields/.sys/n...@useless-runes.lsp
A books/kestrel/prime-fields/.sys/p...@useless-runes.lsp
M books/kestrel/prime-fields/.sys/prime-fi...@useless-runes.lsp
M books/kestrel/prime-fields/.sys/prime-fie...@useless-runes.lsp
M books/kestrel/prime-fields/.sys/prime-...@useless-runes.lsp
M books/kestrel/prime-fields/.sys/prin...@useless-runes.lsp
M books/kestrel/prime-fields/.sys/rule-...@useless-runes.lsp
M books/kestrel/prime-fields/.sys/rul...@useless-runes.lsp
A books/kestrel/prime-fields/.sys/s...@useless-runes.lsp
M books/kestrel/prime-fields/.sys/unguarde...@useless-runes.lsp
M books/kestrel/random/.sys/minstd...@useless-runes.lsp
M books/kestrel/random/.sys/minst...@useless-runes.lsp
M books/kestrel/sequences/.sys/defe...@useless-runes.lsp
M books/kestrel/sequences/.sys/deff...@useless-runes.lsp
M books/kestrel/sequences/.sys/deff...@useless-runes.lsp
M books/kestrel/sequences/.sys/def...@useless-runes.lsp
M books/kestrel/sequences/.sys/generics-...@useless-runes.lsp
M books/kestrel/sequences/.sys/subsequen...@useless-runes.lsp
M books/kestrel/simpl-imp/.sys/abstrac...@useless-runes.lsp
M books/kestrel/simpl-imp/.sys/sema...@useless-runes.lsp
M books/kestrel/soft/.sys/co...@useless-runes.lsp
M books/kestrel/soft/.sys/defe...@useless-runes.lsp
M books/kestrel/solidity/.sys/boolean...@useless-runes.lsp
M books/kestrel/solidity/.sys/integer-o...@useless-runes.lsp
M books/kestrel/solidity/.sys/integer...@useless-runes.lsp
M books/kestrel/std/basic/.sys/good-pse...@useless-runes.lsp
M books/kestrel/std/basic/.sys/symbol-packag...@useless-runes.lsp
M books/kestrel/std/strings/.sys/strto...@useless-runes.lsp
M books/kestrel/std/system/.sys/add-suffix-t...@useless-runes.lsp
M books/kestrel/std/system/.sys/all-free-...@useless-runes.lsp
M books/kestrel/std/system/.sys/all-l...@useless-runes.lsp
M books/kestrel/std/system/.sys/all-non-gv...@useless-runes.lsp
M books/kestrel/std/system/.sys/all-pk...@useless-runes.lsp
M books/kestrel/std/system/.sys/all-progra...@useless-runes.lsp
M books/kestrel/std/system/.sys/all-va...@useless-runes.lsp
M books/kestrel/std/system/.sys/apply-fn...@useless-runes.lsp
M books/kestrel/std/system/.sys/check-...@useless-runes.lsp
M books/kestrel/std/system/.sys/check-la...@useless-runes.lsp
M books/kestrel/std/system/.sys/check-l...@useless-runes.lsp
M books/kestrel/std/system/.sys/check-m...@useless-runes.lsp
M books/kestrel/std/system/.sys/check-mbt-...@useless-runes.lsp
M books/kestrel/std/system/.sys/check-mv...@useless-runes.lsp
M books/kestrel/std/system/.sys/check-unary...@useless-runes.lsp
M books/kestrel/std/system/.sys/close-...@useless-runes.lsp
M books/kestrel/std/system/.sys/dumb-occu...@useless-runes.lsp
M books/kestrel/std/system/.sys/flatten-a...@useless-runes.lsp
M books/kestrel/std/system/.sys/fsubl...@useless-runes.lsp
M books/kestrel/std/system/.sys/getp...@useless-runes.lsp
M books/kestrel/std/system/.sys/guard-ver...@useless-runes.lsp
M books/kestrel/std/system/.sys/if-tree-l...@useless-runes.lsp
M books/kestrel/std/system/.sys/induction-mach...@useless-runes.lsp
M books/kestrel/std/system/.sys/induction-m...@useless-runes.lsp
M books/kestrel/std/system/.sys/lambda-...@useless-runes.lsp
M books/kestrel/std/system/.sys/lambda-guard-...@useless-runes.lsp
M books/kestrel/std/system/.sys/lambda-l...@useless-runes.lsp
M books/kestrel/std/system/.sys/lam...@useless-runes.lsp
M books/kestrel/std/system/.sys/make-mv-...@useless-runes.lsp
M books/kestrel/std/system/.sys/make-mv-...@useless-runes.lsp
M books/kestrel/std/system/.sys/measure-p...@useless-runes.lsp
M books/kestrel/std/system/.sys/measur...@useless-runes.lsp
M books/kestrel/std/system/.sys/measured-subs...@useless-runes.lsp
M books/kestrel/std/system/.sys/measured-s...@useless-runes.lsp
M books/kestrel/std/system/.sys/mv...@useless-runes.lsp
M books/kestrel/std/system/.sys/pseudo-...@useless-runes.lsp
M books/kestrel/std/system/.sys/recursive-...@useless-runes.lsp
M books/kestrel/std/system/.sys/remove-dead...@useless-runes.lsp
M books/kestrel/std/system/.sys/remov...@useless-runes.lsp
M books/kestrel/std/system/.sys/remove...@useless-runes.lsp
M books/kestrel/std/system/.sys/remove-tr...@useless-runes.lsp
M books/kestrel/std/system/.sys/remove-un...@useless-runes.lsp
M books/kestrel/std/system/.sys/tail-rec...@useless-runes.lsp
M books/kestrel/std/system/.sys/term-possible-nu...@useless-runes.lsp
M books/kestrel/std/system/.sys/ter...@useless-runes.lsp
A books/kestrel/std/system/.sys/w...@useless-runes.lsp
M books/kestrel/std/system/.sys/well-founded-rel...@useless-runes.lsp
M books/kestrel/std/system/.sys/well-founded-...@useless-runes.lsp
M books/kestrel/std/util/.sys/defmac...@useless-runes.lsp
M books/kestrel/std/util/.sys/defmax-na...@useless-runes.lsp
M books/kestrel/std/util/.sys/defmax-n...@useless-runes.lsp
M books/kestrel/std/util/.sys/defmin-in...@useless-runes.lsp
M books/kestrel/std/util/.sys/defmin-i...@useless-runes.lsp
A books/kestrel/strings-light/.sys/d...@useless-runes.lsp
M books/kestrel/strings-light/.sys/split...@useless-runes.lsp
R books/kestrel/strings-light/.sys/top...@useless-runes.lsp
A books/kestrel/terms-light/.sys/bound-var...@useless-runes.lsp
A books/kestrel/terms-light/.sys/free-var...@useless-runes.lsp
A books/kestrel/terms-light/.sys/sublis-v...@useless-runes.lsp
A books/kestrel/terms-light/.sys/t...@useless-runes.lsp
M books/kestrel/typed-lists-light/.sys/all-g...@useless-runes.lsp
M books/kestrel/typed-lists-light/.sys/all-in...@useless-runes.lsp
M books/kestrel/typed-lists-light/.sys/all-less-th...@useless-runes.lsp
A books/kestrel/typed-lists-light/.sys/bytes-to-pri...@useless-runes.lsp
M books/kestrel/typed-lists-light/.sys/charact...@useless-runes.lsp
M books/kestrel/typed-lists-light/.sys/intege...@useless-runes.lsp
M books/kestrel/typed-lists-light/.sys/items-h...@useless-runes.lsp
A books/kestrel/typed-lists-light/.sys/map-ch...@useless-runes.lsp
A books/kestrel/typed-lists-light/.sys/map-co...@useless-runes.lsp
M books/kestrel/typed-lists-light/.sys/maxe...@useless-runes.lsp
M books/kestrel/typed-lists-light/.sys/max...@useless-runes.lsp
M books/kestrel/typed-lists-light/.sys/mine...@useless-runes.lsp
M books/kestrel/typed-lists-light/.sys/min...@useless-runes.lsp
M books/kestrel/typed-lists-light/.sys/pseudo-t...@useless-runes.lsp
M books/kestrel/typed-lists-light/.sys/rationa...@useless-runes.lsp
A books/kestrel/typed-lists-light/.sys/string...@useless-runes.lsp
M books/kestrel/typed-lists-light/.sys/symbol...@useless-runes.lsp
M books/kestrel/typed-lists-light/.sys/symbol...@useless-runes.lsp
A books/kestrel/unicode-light/.sys/code-point-t...@useless-runes.lsp
A books/kestrel/unicode-light/.sys/com...@useless-runes.lsp
A books/kestrel/unicode-light/.sys/hex-digit-chars-t...@useless-runes.lsp
A books/kestrel/unicode-light/.sys/hex-digit-char...@useless-runes.lsp
A books/kestrel/unicode-light/.sys/surro...@useless-runes.lsp
A books/kestrel/unicode-light/.sys/t...@useless-runes.lsp
A books/kestrel/untranslated-terms/.sys/rename-func...@useless-runes.lsp
A books/kestrel/untranslated-terms/.sys/rename-f...@useless-runes.lsp
A books/kestrel/untranslated-terms/.sys/t...@useless-runes.lsp
M books/kestrel/utilities/.sys/acl2-...@useless-runes.lsp
A books/kestrel/utilities/.sys/assert-wi...@useless-runes.lsp
M books/kestrel/utilities/.sys/auto-termin...@useless-runes.lsp
M books/kestrel/utilities/.sys/bytes-...@useless-runes.lsp
M books/kestrel/utilities/.sys/call-...@useless-runes.lsp
A books/kestrel/utilities/.sys/channel-...@useless-runes.lsp
A books/kestrel/utilities/.sys/chan...@useless-runes.lsp
A books/kestrel/utilities/.sys/clause-id...@useless-runes.lsp
M books/kestrel/utilities/.sys/clean-up...@useless-runes.lsp
M books/kestrel/utilities/.sys/conjun...@useless-runes.lsp
M books/kestrel/utilities/.sys/conjuncts-a...@useless-runes.lsp
M books/kestrel/utilities/.sys/copy...@useless-runes.lsp
M books/kestrel/utilities/.sys/decl...@useless-runes.lsp
A books/kestrel/utilities/.sys/decl...@useless-runes.lsp
A books/kestrel/utilities/.sys/decl...@useless-runes.lsp
A books/kestrel/utilities/.sys/defconst-...@useless-runes.lsp
M books/kestrel/utilities/.sys/defopene...@useless-runes.lsp
M books/kestrel/utilities/.sys/defop...@useless-runes.lsp
M books/kestrel/utilities/.sys/defthm...@useless-runes.lsp
M books/kestrel/utilities/.sys/defun-...@useless-runes.lsp
A books/kestrel/utilities/.sys/depends-...@useless-runes.lsp
M books/kestrel/utilities/.sys/directed-u...@useless-runes.lsp
M books/kestrel/utilities/.sys/d...@useless-runes.lsp
M books/kestrel/utilities/.sys/doub...@useless-runes.lsp
M books/kestrel/utilities/.sys/ensure-ru...@useless-runes.lsp
M books/kestrel/utilities/.sys/event...@useless-runes.lsp
A books/kestrel/utilities/.sys/exit-if-functi...@useless-runes.lsp
M books/kestrel/utilities/.sys/expand-lamb...@useless-runes.lsp
A books/kestrel/utilities/.sys/fake-...@useless-runes.lsp
A books/kestrel/utilities/.sys/f...@useless-runes.lsp
M books/kestrel/utilities/.sys/format-...@useless-runes.lsp
M books/kestrel/utilities/.sys/fresh-...@useless-runes.lsp
M books/kestrel/utilities/.sys/fresh...@useless-runes.lsp
M books/kestrel/utilities/.sys/gen-xdoc...@useless-runes.lsp
M books/kestrel/utilities/.sys/get-pro...@useless-runes.lsp
M books/kestrel/utilities/.sys/get-us...@useless-runes.lsp
A books/kestrel/utilities/.sys/get-vars-...@useless-runes.lsp
A books/kestrel/utilities/.sys/hex-cha...@useless-runes.lsp
A books/kestrel/utilities/.sys/hex-strin...@useless-runes.lsp
M books/kestrel/utilities/.sys/hi...@useless-runes.lsp
M books/kestrel/utilities/.sys/i...@useless-runes.lsp
A books/kestrel/utilities/.sys/include-boo...@useless-runes.lsp
M books/kestrel/utilities/.sys/integer-r...@useless-runes.lsp
M books/kestrel/utilities/.sys/integers-fr...@useless-runes.lsp
M books/kestrel/utilities/.sys/integers...@useless-runes.lsp
A books/kestrel/utilities/.sys/ints-i...@useless-runes.lsp
M books/kestrel/utilities/.sys/keyword-va...@useless-runes.lsp
M books/kestrel/utilities/.sys/keyword-v...@useless-runes.lsp
M books/kestrel/utilities/.sys/keywords-to-...@useless-runes.lsp
M books/kestrel/utilities/.sys/lambdas-clo...@useless-runes.lsp
A books/kestrel/utilities/.sys/lam...@useless-runes.lsp
M books/kestrel/utilities/.sys/legal-v...@useless-runes.lsp
A books/kestrel/utilities/.sys/le...@useless-runes.lsp
M books/kestrel/utilities/.sys/lin...@useless-runes.lsp
M books/kestrel/utilities/.sys/magic-macroe...@useless-runes.lsp
M books/kestrel/utilities/.sys/magic-ma...@useless-runes.lsp
M books/kestrel/utilities/.sys/make-ex...@useless-runes.lsp
M books/kestrel/utilities/.sys/make-legal-var-...@useless-runes.lsp
M books/kestrel/utilities/.sys/make-terminatio...@useless-runes.lsp
M books/kestrel/utilities/.sys/make-...@useless-runes.lsp
A books/kestrel/utilities/.sys/make-va...@useless-runes.lsp
M books/kestrel/utilities/.sys/merge-sor...@useless-runes.lsp
M books/kestrel/utilities/.sys/merge-sort-sy...@useless-runes.lsp
M books/kestrel/utilities/.sys/mess...@useless-runes.lsp
M books/kestrel/utilities/.sys/mv-...@useless-runes.lsp
M books/kestrel/utilities/.sys/my-get-ev...@useless-runes.lsp
A books/kestrel/utilities/.sys/myif...@useless-runes.lsp
M books/kestrel/utilities/.sys/my...@useless-runes.lsp
A books/kestrel/utilities/.sys/nf...@useless-runes.lsp
M books/kestrel/utilities/.sys/ore...@useless-runes.lsp
M books/kestrel/utilities/.sys/oset-t...@useless-runes.lsp
A books/kestrel/utilities/.sys/pos...@useless-runes.lsp
M books/kestrel/utilities/.sys/proof-builder...@useless-runes.lsp
M books/kestrel/utilities/.sys/pseudo...@useless-runes.lsp
M books/kestrel/utilities/.sys/read-...@useless-runes.lsp
M books/kestrel/utilities/.sys/remove-gua...@useless-runes.lsp
A books/kestrel/utilities/.sys/ruler-e...@useless-runes.lsp
M books/kestrel/utilities/.sys/signed-by...@useless-runes.lsp
M books/kestrel/utilities/.sys/signed-byte...@useless-runes.lsp
M books/kestrel/utilities/.sys/split-l...@useless-runes.lsp
A books/kestrel/utilities/.sys/st...@useless-runes.lsp
M books/kestrel/utilities/.sys/string-u...@useless-runes.lsp
M books/kestrel/utilities/.sys/strip-star...@useless-runes.lsp
M books/kestrel/utilities/.sys/sublis-e...@useless-runes.lsp
R books/kestrel/utilities/.sys/substi...@useless-runes.lsp
M books/kestrel/utilities/.sys/symbol-te...@useless-runes.lsp
M books/kestrel/utilities/.sys/temp...@useless-runes.lsp
M books/kestrel/utilities/.sys/te...@useless-runes.lsp
M books/kestrel/utilities/.sys/tran...@useless-runes.lsp
A books/kestrel/utilities/.sys/ubi...@useless-runes.lsp
M books/kestrel/utilities/.sys/un...@useless-runes.lsp
M books/kestrel/utilities/.sys/untransla...@useless-runes.lsp
R books/kestrel/utilities/.sys/vars-i...@useless-runes.lsp
M books/kestrel/utilities/.sys/wo...@useless-runes.lsp
A books/kestrel/utilities/.sys/xdoc-ar...@useless-runes.lsp
M books/kestrel/utilities/.sys/xdoc-...@useless-runes.lsp
M books/kestrel/utilities/digits-any-base/.sys/co...@useless-runes.lsp
M books/kestrel/utilities/integer-arithmetic/.sys/meta-ipl...@useless-runes.lsp
M books/kestrel/utilities/integer-arithmetic/.sys/ru...@useless-runes.lsp
M books/kestrel/utilities/lists/.sys/index-of...@useless-runes.lsp
M books/kestrel/utilities/lists/.sys/nthcdr-...@useless-runes.lsp
M books/kestrel/utilities/lists/.sys/prefixp-...@useless-runes.lsp
M books/kestrel/utilities/lists/.sys/set-...@useless-runes.lsp
M books/kestrel/utilities/lists/.sys/take-t...@useless-runes.lsp
M books/kestrel/utilities/omaps/.sys/co...@useless-runes.lsp
M books/kestrel/utilities/strings/.sys/chars...@useless-runes.lsp
M books/kestrel/utilities/strings/.sys/hexc...@useless-runes.lsp
M books/kestrel/utilities/system/.sys/numbere...@useless-runes.lsp
M books/kestrel/utilities/typed-lists/.sys/nat-list-f...@useless-runes.lsp
A books/kestrel/x86/.sys/portc...@useless-runes.lsp
A books/kestrel/x86/.sys/t...@useless-runes.lsp
A books/kestrel/x86/parsers/.sys/mach-o...@useless-runes.lsp
A books/kestrel/x86/parsers/.sys/parse-e...@useless-runes.lsp
A books/kestrel/x86/parsers/.sys/parse-ex...@useless-runes.lsp
A books/kestrel/x86/parsers/.sys/parse-ma...@useless-runes.lsp
A books/kestrel/x86/parsers/.sys/parse-...@useless-runes.lsp
A books/kestrel/x86/parsers/.sys/parsed-exec...@useless-runes.lsp
A books/kestrel/x86/parsers/.sys/parser...@useless-runes.lsp
A books/kestrel/x86/parsers/.sys/pe-t...@useless-runes.lsp
A books/kestrel/x86/parsers/.sys/t...@useless-runes.lsp
A books/kestrel/x86/tools/.sys/assump...@useless-runes.lsp
A books/kestrel/x86/tools/.sys/assump...@useless-runes.lsp
A books/kestrel/x86/tools/.sys/assum...@useless-runes.lsp
A books/kestrel/x86/tools/.sys/bit...@useless-runes.lsp
A books/kestrel/x86/tools/.sys/condi...@useless-runes.lsp
A books/kestrel/x86/tools/.sys/fl...@useless-runes.lsp
A books/kestrel/x86/tools/.sys/lifter-...@useless-runes.lsp
A books/kestrel/x86/tools/.sys/linear...@useless-runes.lsp
A books/kestrel/x86/tools/.sys/read-an...@useless-runes.lsp
A books/kestrel/x86/tools/.sys/read-over-...@useless-runes.lsp
A books/kestrel/x86/tools/.sys/register-reade...@useless-runes.lsp
A books/kestrel/x86/tools/.sys/rule-...@useless-runes.lsp
A books/kestrel/x86/tools/.sys/run-unti...@useless-runes.lsp
A books/kestrel/x86/tools/.sys/suppo...@useless-runes.lsp
A books/kestrel/x86/tools/.sys/suppo...@useless-runes.lsp
A books/kestrel/x86/tools/.sys/supp...@useless-runes.lsp
A books/kestrel/x86/tools/.sys/supp...@useless-runes.lsp
A books/kestrel/x86/tools/.sys/supp...@useless-runes.lsp
A books/kestrel/x86/tools/.sys/sup...@useless-runes.lsp
A books/kestrel/x86/tools/.sys/sym...@useless-runes.lsp
A books/kestrel/x86/tools/.sys/t...@useless-runes.lsp
A books/kestrel/x86/tools/.sys/unroll-x8...@useless-runes.lsp
A books/kestrel/x86/tools/.sys/write-over-...@useless-runes.lsp
M books/kestrel/zcash/.sys/bit-byte-integ...@useless-runes.lsp
M books/kestrel/zcash/.sys/blake...@useless-runes.lsp
M books/kestrel/zcash/.sys/jubjub-m...@useless-runes.lsp
M books/kestrel/zcash/.sys/jub...@useless-runes.lsp
A books/kestrel/zcash/.sys/lift-zc...@useless-runes.lsp
M books/kestrel/zcash/.sys/peders...@useless-runes.lsp
M books/make-event/.sys/acl2x...@useless-runes.lsp
M books/make-event/.sys/def...@useless-runes.lsp
M books/make-event/.sys/def...@useless-runes.lsp
M books/make-event/.sys/dot...@useless-runes.lsp
M books/make-event/.sys/make-event-ke...@useless-runes.lsp
M books/meta/.sys/meta-pl...@useless-runes.lsp
M books/meta/.sys/meta-pl...@useless-runes.lsp
M books/meta/.sys/meta-tim...@useless-runes.lsp
M books/meta/.sys/term-...@useless-runes.lsp
M books/misc/.sys/beta-...@useless-runes.lsp
M books/misc/.sys/check-...@useless-runes.lsp
M books/misc/.sys/cs...@useless-runes.lsp
M books/misc/.sys/de...@useless-runes.lsp
M books/misc/.sys/de...@useless-runes.lsp
M books/misc/.sys/def...@useless-runes.lsp
M books/misc/.sys/dft...@useless-runes.lsp
M books/misc/.sys/dijkstra-sh...@useless-runes.lsp
M books/misc/.sys/enum...@useless-runes.lsp
M books/misc/.sys/fast-...@useless-runes.lsp
M books/misc/.sys/fibo...@useless-runes.lsp
A books/misc/.sys/find-eve...@useless-runes.lsp
M books/misc/.sys/find-...@useless-runes.lsp
M books/misc/.sys/get...@useless-runes.lsp
M books/misc/.sys/good...@useless-runes.lsp
M books/misc/.sys/gr...@useless-runes.lsp
M books/misc/.sys/ha...@useless-runes.lsp
M books/misc/.sys/hons...@useless-runes.lsp
M books/misc/.sys/hons-...@useless-runes.lsp
M books/misc/.sys/int-di...@useless-runes.lsp
M books/misc/.sys/meta-...@useless-runes.lsp
M books/misc/.sys/mu...@useless-runes.lsp
M books/misc/.sys/multi...@useless-runes.lsp
M books/misc/.sys/pigeo...@useless-runes.lsp
M books/misc/.sys/prior...@useless-runes.lsp
M books/misc/.sys/prob...@useless-runes.lsp
M books/misc/.sys/reco...@useless-runes.lsp
M books/misc/.sys/rec...@useless-runes.lsp
M books/misc/.sys/save...@useless-runes.lsp
M books/misc/.sys/sin...@useless-runes.lsp
M books/misc/.sys/sort-s...@useless-runes.lsp
M books/misc/.sys/symbol...@useless-runes.lsp
M books/misc/.sys/total...@useless-runes.lsp
M books/misc/misc2/.sys/defpun-exec-d...@useless-runes.lsp
M books/misc/misc2/.sys/reverse-by...@useless-runes.lsp
M books/misc/misc2/.sys/ruler-exte...@useless-runes.lsp
M books/models/jvm/guard-verified-m1/.sys/good-...@useless-runes.lsp
M books/models/jvm/guard-verified-m1/.sys/impleme...@useless-runes.lsp
M books/models/jvm/guard-verified-m1/.sys/theorems...@useless-runes.lsp
M books/models/jvm/guard-verified-m1/.sys/tmi-red...@useless-runes.lsp
M books/models/jvm/m1-original/.sys/m1-s...@useless-runes.lsp
M books/models/jvm/m1-original/.sys/problem-se...@useless-runes.lsp
M books/models/jvm/m1/.sys/impleme...@useless-runes.lsp
A books/models/jvm/m1/.sys/m1-fact-on-ne...@useless-runes.lsp
M books/models/jvm/m1/.sys/m1-wit...@useless-runes.lsp
M books/models/jvm/m1/.sys/theorems...@useless-runes.lsp
M books/models/jvm/m1/.sys/tmi-red...@useless-runes.lsp
M books/models/jvm/m5/.sys/appre...@useless-runes.lsp
M books/models/jvm/m5/.sys/de...@useless-runes.lsp
M books/models/jvm/m5/.sys/id...@useless-runes.lsp
M books/models/jvm/m5/.sys/infinite-fa...@useless-runes.lsp
M books/models/jvm/m5/.sys/is...@useless-runes.lsp
M books/models/jvm/m5/.sys/jvm-fac...@useless-runes.lsp
M books/models/jvm/m5/.sys/m...@useless-runes.lsp
M books/models/jvm/m5/.sys/par...@useless-runes.lsp
M books/models/jvm/m5/.sys/universal-n...@useless-runes.lsp
M books/models/jvm/m5/.sys/univ...@useless-runes.lsp
M books/models/jvm/m5/.sys/util...@useless-runes.lsp
M books/models/y86/y86-basic/common/.sys/misc-...@useless-runes.lsp
M books/models/y86/y86-basic/common/.sys/opera...@useless-runes.lsp
M books/models/y86/y86-basic/common/.sys/x86-...@useless-runes.lsp
M books/models/y86/y86-basic/py86/.sys/f...@useless-runes.lsp
M books/models/y86/y86-basic/py86/.sys/popc...@useless-runes.lsp
M books/models/y86/y86-basic/py86/.sys/py86-m...@useless-runes.lsp
M books/models/y86/y86-basic/py86/.sys/py86-...@useless-runes.lsp
M books/models/y86/y86-basic/py86/.sys/py...@useless-runes.lsp
M books/models/y86/y86-basic/y86/.sys/y86-me...@useless-runes.lsp
M books/models/y86/y86-basic/y86/.sys/y...@useless-runes.lsp
M books/models/y86/y86-two-level-abs/common/.sys/arithme...@useless-runes.lsp
M books/models/y86/y86-two-level-abs/common/.sys/misc-...@useless-runes.lsp
M books/models/y86/y86-two-level-abs/common/.sys/opera...@useless-runes.lsp
M books/models/y86/y86-two-level-abs/common/.sys/x86-mem...@useless-runes.lsp
M books/models/y86/y86-two-level-abs/common/.sys/x86-state...@useless-runes.lsp
M books/models/y86/y86-two-level-abs/common/.sys/x86-state-...@useless-runes.lsp
M books/models/y86/y86-two-level-abs/common/.sys/x86-...@useless-runes.lsp
M books/models/y86/y86-two-level-abs/examples/.sys/popc...@useless-runes.lsp
M books/models/y86/y86-two-level-abs/y86/.sys/y86-me...@useless-runes.lsp
M books/models/y86/y86-two-level-abs/y86/.sys/y...@useless-runes.lsp
M books/models/y86/y86-two-level/common/.sys/arithme...@useless-runes.lsp
M books/models/y86/y86-two-level/common/.sys/misc-...@useless-runes.lsp
M books/models/y86/y86-two-level/common/.sys/opera...@useless-runes.lsp
M books/models/y86/y86-two-level/common/.sys/x86-mem...@useless-runes.lsp
M books/models/y86/y86-two-level/common/.sys/x86-...@useless-runes.lsp
M books/models/y86/y86-two-level/y86/.sys/y86-me...@useless-runes.lsp
M books/models/y86/y86-two-level/y86/.sys/y...@useless-runes.lsp
M books/nonstd/fft/.sys/fft-...@useless-runes.lsp
M books/nonstd/nsa/.sys/inner...@useless-runes.lsp
M books/nonstd/nsa/.sys/sqr...@useless-runes.lsp
M books/nonstd/nsa/.sys/sqrt...@useless-runes.lsp
M books/nonstd/workshops/1999/calculus/solutions/.sys/mesh-make...@useless-runes.lsp
M books/nonstd/workshops/1999/calculus/solutions/.sys/partitionp-mak...@useless-runes.lsp
M books/nonstd/workshops/2017/cayley/.sys/cay...@useless-runes.lsp
M books/nonstd/workshops/2017/cayley/.sys/cayl...@useless-runes.lsp
M books/nonstd/workshops/2017/cayley/.sys/cayl...@useless-runes.lsp
M books/nonstd/workshops/2017/cayley/.sys/cayl...@useless-runes.lsp
M books/nonstd/workshops/2017/cayley/.sys/cayl...@useless-runes.lsp
M books/nonstd/workshops/2017/cayley/.sys/cay...@useless-runes.lsp
M books/nonstd/workshops/2017/cayley/.sys/cay...@useless-runes.lsp
M books/nonstd/workshops/2017/cayley/.sys/cayl...@useless-runes.lsp
M books/nonstd/workshops/2017/cayley/.sys/cay...@useless-runes.lsp
M books/nonstd/workshops/2017/cayley/.sys/cayl...@useless-runes.lsp
M books/nonstd/workshops/2017/cayley/.sys/cay...@useless-runes.lsp
M books/nonstd/workshops/2017/cayley/.sys/cayl...@useless-runes.lsp
M books/ordinals/.sys/lexicogra...@useless-runes.lsp
M books/ordinals/.sys/lim...@useless-runes.lsp
M books/ordinals/.sys/ordinal-...@useless-runes.lsp
M books/ordinals/.sys/ordinal-b...@useless-runes.lsp
M books/ordinals/.sys/ordinal-d...@useless-runes.lsp
M books/ordinals/.sys/ordinal-exp...@useless-runes.lsp
M books/ordinals/.sys/ordinal-i...@useless-runes.lsp
M books/ordinals/.sys/ordinal-mul...@useless-runes.lsp
M books/ordinals/.sys/proof-of-wel...@useless-runes.lsp
M books/oslib/.sys/cat...@useless-runes.lsp
M books/oslib/.sys/tempfil...@useless-runes.lsp
M books/parsers/earley/.sys/earley...@useless-runes.lsp
M books/parsers/earley/.sys/grammar...@useless-runes.lsp
M books/parsers/earley/.sys/object-repr...@useless-runes.lsp
M books/powerlists/.sys/alg...@useless-runes.lsp
M books/powerlists/.sys/batche...@useless-runes.lsp
M books/powerlists/.sys/gray...@useless-runes.lsp
M books/powerlists/.sys/prefi...@useless-runes.lsp
M books/powerlists/.sys/sim...@useless-runes.lsp
M books/powerlists/.sys/so...@useless-runes.lsp
M books/projects/apply-model-2/.sys/apply...@useless-runes.lsp
M books/projects/apply-model-2/.sys/ap...@useless-runes.lsp
M books/projects/apply-model-2/.sys/rep...@useless-runes.lsp
M books/projects/apply-model-2/ex1/.sys/all-warra...@useless-runes.lsp
M books/projects/apply-model-2/ex1/.sys/doppel...@useless-runes.lsp
M books/projects/apply-model-2/ex1/.sys/evaluati...@useless-runes.lsp
M books/projects/apply-model-2/ex1/.sys/evaluati...@useless-runes.lsp
M books/projects/apply-model-2/ex1/.sys/evaluation...@useless-runes.lsp
M books/projects/apply-model-2/ex1/.sys/user...@useless-runes.lsp
M books/projects/apply-model-2/ex2/.sys/all-warra...@useless-runes.lsp
M books/projects/apply-model-2/ex2/.sys/doppel...@useless-runes.lsp
M books/projects/apply-model-2/ex2/.sys/evaluati...@useless-runes.lsp
M books/projects/apply-model-2/ex2/.sys/evaluati...@useless-runes.lsp
M books/projects/apply-model-2/ex2/.sys/evaluation...@useless-runes.lsp
M books/projects/apply-model-2/ex2/.sys/user...@useless-runes.lsp
M books/projects/apply-model-2/ex2/.sys/user...@useless-runes.lsp
M books/projects/apply-model/.sys/apply...@useless-runes.lsp
M books/projects/apply-model/.sys/ap...@useless-runes.lsp
M books/projects/apply-model/.sys/rep...@useless-runes.lsp
M books/projects/apply-model/ex1/.sys/doppel...@useless-runes.lsp
M books/projects/apply-model/ex1/.sys/evaluati...@useless-runes.lsp
M books/projects/apply-model/ex1/.sys/evaluati...@useless-runes.lsp
M books/projects/apply-model/ex1/.sys/evaluation...@useless-runes.lsp
M books/projects/apply-model/ex1/.sys/user...@useless-runes.lsp
M books/projects/apply-model/ex2/.sys/all-warra...@useless-runes.lsp
M books/projects/apply-model/ex2/.sys/doppel...@useless-runes.lsp
M books/projects/apply-model/ex2/.sys/evaluati...@useless-runes.lsp
M books/projects/apply-model/ex2/.sys/evaluati...@useless-runes.lsp
M books/projects/apply-model/ex2/.sys/evaluation...@useless-runes.lsp
M books/projects/apply-model/ex2/.sys/user...@useless-runes.lsp
M books/projects/apply-model/ex2/.sys/user...@useless-runes.lsp
M books/projects/apply/.sys/ba...@useless-runes.lsp
M books/projects/apply/.sys/copy-n...@useless-runes.lsp
M books/projects/apply/.sys/definduc...@useless-runes.lsp
M books/projects/apply/.sys/loop-recurs...@useless-runes.lsp
M books/projects/apply/.sys/loop-...@useless-runes.lsp
M books/projects/apply/.sys/lo...@useless-runes.lsp
M books/projects/apply/.sys/mem...@useless-runes.lsp
A books/projects/apply/.sys/prog-mode-...@useless-runes.lsp
M books/projects/apply/.sys/relink-fa...@useless-runes.lsp
M books/projects/arm/fadd/.sys/alig...@useless-runes.lsp
M books/projects/arm/fadd/.sys/c...@useless-runes.lsp
M books/projects/arm/fadd/.sys/fad...@useless-runes.lsp
M books/projects/arm/fadd/.sys/fa...@useless-runes.lsp
M books/projects/arm/fadd/.sys/f...@useless-runes.lsp
M books/projects/arm/fadd/.sys/lsh...@useless-runes.lsp
M books/projects/arm/fadd/.sys/l...@useless-runes.lsp
M books/projects/arm/fadd/.sys/ro...@useless-runes.lsp
M books/projects/arm/fdiv/.sys/c...@useless-runes.lsp
M books/projects/arm/fdiv/.sys/fdi...@useless-runes.lsp
M books/projects/arm/fdiv/.sys/ind...@useless-runes.lsp
M books/projects/arm/fdiv/.sys/pres...@useless-runes.lsp
M books/projects/arm/fdiv/.sys/spe...@useless-runes.lsp
M books/projects/arm/fmul/.sys/c...@useless-runes.lsp
M books/projects/arm/fmul/.sys/den...@useless-runes.lsp
M books/projects/arm/fmul/.sys/fi...@useless-runes.lsp
M books/projects/arm/fmul/.sys/fmu...@useless-runes.lsp
M books/projects/arm/fmul/.sys/no...@useless-runes.lsp
M books/projects/arm/fmul/.sys/rnd...@useless-runes.lsp
M books/projects/arm/fmul/.sys/spe...@useless-runes.lsp
M books/projects/arm/fmul/.sys/unro...@useless-runes.lsp
M books/projects/arm/fsqrt/.sys/c...@useless-runes.lsp
M books/projects/arm/fsqrt/.sys/fi...@useless-runes.lsp
M books/projects/arm/fsqrt/.sys/fsq...@useless-runes.lsp
M books/projects/arm/fsqrt/.sys/ind...@useless-runes.lsp
M books/projects/arm/fsqrt/.sys/pre...@useless-runes.lsp
M books/projects/arm/fsqrt/.sys/spe...@useless-runes.lsp
A books/projects/arm/utils/.sys/aarch6...@useless-runes.lsp
A books/projects/arm/utils/.sys/arith...@useless-runes.lsp
A books/projects/arm/utils/.sys/fp-con...@useless-runes.lsp
A books/projects/arm/utils/.sys/mac...@useless-runes.lsp
A books/projects/arm/utils/.sys/rtl-...@useless-runes.lsp
M books/projects/async/.sys/assoc-e...@useless-runes.lsp
M books/projects/async/.sys/bra...@useless-runes.lsp
M books/projects/async/.sys/d...@useless-runes.lsp
M books/projects/async/.sys/f-fun...@useless-runes.lsp
M books/projects/async/.sys/hard...@useless-runes.lsp
M books/projects/async/.sys/in...@useless-runes.lsp
M books/projects/async/.sys/link-...@useless-runes.lsp
M books/projects/async/.sys/list-r...@useless-runes.lsp
M books/projects/async/.sys/sto...@useless-runes.lsp
M books/projects/async/.sys/tree-...@useless-runes.lsp
M books/projects/async/.sys/tv...@useless-runes.lsp
M books/projects/async/.sys/ut...@useless-runes.lsp
M books/projects/async/.sys/vector...@useless-runes.lsp
M books/projects/async/adders/.sys/add...@useless-runes.lsp
M books/projects/async/adders/.sys/ad...@useless-runes.lsp
M books/projects/async/adders/.sys/cou...@useless-runes.lsp
M books/projects/async/adders/.sys/subtr...@useless-runes.lsp
M books/projects/async/comparators/.sys/fast...@useless-runes.lsp
M books/projects/async/comparators/.sys/t-or...@useless-runes.lsp
M books/projects/async/comparators/.sys/v-gr...@useless-runes.lsp
M books/projects/async/comparators/.sys/v-l...@useless-runes.lsp
M books/projects/async/fifo/.sys/alt-b...@useless-runes.lsp
M books/projects/async/fifo/.sys/queu...@useless-runes.lsp
M books/projects/async/fifo/.sys/que...@useless-runes.lsp
M books/projects/async/fifo/.sys/queu...@useless-runes.lsp
M books/projects/async/fifo/.sys/queu...@useless-runes.lsp
M books/projects/async/fifo/.sys/que...@useless-runes.lsp
M books/projects/async/fifo/.sys/queu...@useless-runes.lsp
M books/projects/async/fifo/.sys/que...@useless-runes.lsp
M books/projects/async/fifo/.sys/queu...@useless-runes.lsp
M books/projects/async/fifo/.sys/queu...@useless-runes.lsp
M books/projects/async/fifo/.sys/que...@useless-runes.lsp
M books/projects/async/fifo/.sys/queu...@useless-runes.lsp
M books/projects/async/fifo/.sys/que...@useless-runes.lsp
M books/projects/async/fifo/.sys/queu...@useless-runes.lsp
M books/projects/async/fifo/.sys/queu...@useless-runes.lsp
M books/projects/async/fifo/.sys/round-...@useless-runes.lsp
M books/projects/async/gcd/.sys/gcd...@useless-runes.lsp
M books/projects/async/gcd/.sys/gcd-...@useless-runes.lsp
M books/projects/async/gcd/.sys/gcd-...@useless-runes.lsp
M books/projects/async/serial-adder/.sys/piso...@useless-runes.lsp
M books/projects/async/serial-adder/.sys/seria...@useless-runes.lsp
M books/projects/async/serial-adder/.sys/seria...@useless-runes.lsp
M books/projects/async/serial-adder/.sys/sipo...@useless-runes.lsp
M books/projects/async/serial-adder/32-bit-serial-adder-old/.sys/32-bit-serial...@useless-runes.lsp
M books/projects/async/serial-adder/32-bit-serial-adder-old/.sys/32-bit-se...@useless-runes.lsp
M books/projects/async/serial-adder/32-bit-serial-adder-old/.sys/ad...@useless-runes.lsp
M books/projects/async/serial-adder/32-bit-serial-adder-old/.sys/alu-...@useless-runes.lsp
M books/projects/async/serial-adder/32-bit-serial-adder-old/.sys/control...@useless-runes.lsp
M books/projects/async/serial-adder/32-bit-serial-adder-old/.sys/d...@useless-runes.lsp
M books/projects/async/serial-adder/32-bit-serial-adder-old/.sys/fm900...@useless-runes.lsp
M books/projects/async/serial-adder/32-bit-serial-adder-old/.sys/link-...@useless-runes.lsp
M books/projects/async/serial-adder/32-bit-serial-adder-old/.sys/mac...@useless-runes.lsp
M books/projects/async/serial-adder/32-bit-serial-adder-old/.sys/mem...@useless-runes.lsp
M books/projects/async/serial-adder/32-bit-serial-adder-old/.sys/sto...@useless-runes.lsp
M books/projects/async/serial-adder/32-bit-serial-adder-old/.sys/ut...@useless-runes.lsp
M books/projects/async/serial-adder/32-bit-serial-adder-old/.sys/vector...@useless-runes.lsp
M books/projects/async/telescope/.sys/tele...@useless-runes.lsp
M books/projects/avr-isa/.sys/avr8_is...@useless-runes.lsp
M books/projects/cache-coherence/german-protocol/.sys/ger...@useless-runes.lsp
M books/projects/cache-coherence/vi/.sys/ut...@useless-runes.lsp
M books/projects/cache-coherence/vi/.sys/vi-co...@useless-runes.lsp
M books/projects/cache-coherence/vi/.sys/vi-...@useless-runes.lsp
M books/projects/codewalker/.sys/codew...@useless-runes.lsp
M books/projects/codewalker/.sys/demo-fac...@useless-runes.lsp
M books/projects/codewalker/.sys/if-tr...@useless-runes.lsp
M books/projects/codewalker/.sys/m1-ver...@useless-runes.lsp
M books/projects/concurrent-programs/bakery/.sys/apply-to...@useless-runes.lsp
M books/projects/concurrent-programs/bakery/.sys/meas...@useless-runes.lsp
M books/projects/concurrent-programs/bakery/.sys/rec...@useless-runes.lsp
M books/projects/curve25519/.sys/axi...@useless-runes.lsp
M books/projects/curve25519/.sys/e...@useless-runes.lsp
M books/projects/curve25519/.sys/red...@useless-runes.lsp
M books/projects/curve25519/.sys/te...@useless-runes.lsp
M books/projects/curve25519/.sys/tr...@useless-runes.lsp
M books/projects/die-hard-bottle-game/.sys/my-mo...@useless-runes.lsp
M books/projects/die-hard-bottle-game/.sys/wo...@useless-runes.lsp
M books/projects/equational/.sys/gen...@useless-runes.lsp
M books/projects/equational/.sys/unifi...@useless-runes.lsp
M books/projects/equational/.sys/weig...@useless-runes.lsp
M books/projects/execloader/.sys/ba...@useless-runes.lsp
M books/projects/execloader/.sys/elf-r...@useless-runes.lsp
M books/projects/execloader/.sys/elf-...@useless-runes.lsp
M books/projects/execloader/.sys/elf-s...@useless-runes.lsp
M books/projects/execloader/.sys/mach-o...@useless-runes.lsp
M books/projects/execloader/.sys/mach-o...@useless-runes.lsp
M books/projects/execloader/.sys/mach-o-...@useless-runes.lsp
M books/projects/farray/.sys/far...@useless-runes.lsp
M books/projects/fifo/.sys/fifo-li...@useless-runes.lsp
M books/projects/filesystems/.sys/abs-se...@useless-runes.lsp
M books/projects/filesystems/.sys/abs-sy...@useless-runes.lsp
M books/projects/filesystems/.sys/eq...@useless-runes.lsp
M books/projects/filesystems/.sys/fa...@useless-runes.lsp
M books/projects/filesystems/.sys/file-syst...@useless-runes.lsp
M books/projects/filesystems/.sys/hifat-s...@useless-runes.lsp
M books/projects/filesystems/.sys/hifat-to-lof...@useless-runes.lsp
M books/projects/filesystems/.sys/hi...@useless-runes.lsp
M books/projects/filesystems/.sys/lofat-s...@useless-runes.lsp
M books/projects/filesystems/.sys/lofat-to-str...@useless-runes.lsp
M books/projects/filesystems/.sys/lo...@useless-runes.lsp
M books/projects/filesystems/.sys/ora...@useless-runes.lsp
M books/projects/filesystems/.sys/tar-...@useless-runes.lsp
M books/projects/filesystems/.sys/test-...@useless-runes.lsp
M books/projects/filesystems/absfat/.sys/abs-...@useless-runes.lsp
M books/projects/filesystems/absfat/.sys/abs-find...@useless-runes.lsp
M books/projects/filesystems/absfat/.sys/abs-fi...@useless-runes.lsp
M books/projects/filesystems/absfat/.sys/chain-leadin...@useless-runes.lsp
M books/projects/filesystems/absfat/.sys/partial-...@useless-runes.lsp
M books/projects/filesystems/absfat/.sys/path-...@useless-runes.lsp
M books/projects/filesystems/examples/.sys/ls-rm-...@useless-runes.lsp
M books/projects/filesystems/hifat/.sys/hifat-clu...@useless-runes.lsp
M books/projects/filesystems/hifat/.sys/hifat-en...@useless-runes.lsp
M books/projects/filesystems/hifat/.sys/hifat...@useless-runes.lsp
M books/projects/filesystems/l-models/.sys/file-s...@useless-runes.lsp
M books/projects/filesystems/l-models/.sys/file-s...@useless-runes.lsp
M books/projects/filesystems/l-models/.sys/file-s...@useless-runes.lsp
M books/projects/filesystems/l-models/.sys/file-s...@useless-runes.lsp
M books/projects/filesystems/l-models/.sys/file-s...@useless-runes.lsp
M books/projects/filesystems/l-models/.sys/file-s...@useless-runes.lsp
M books/projects/filesystems/lofat/.sys/fat32-i...@useless-runes.lsp
M books/projects/filesystems/lofat/.sys/lofat...@useless-runes.lsp
M books/projects/filesystems/lofat/.sys/lofat-pl...@useless-runes.lsp
M books/projects/filesystems/lofat/.sys/lofat-...@useless-runes.lsp
M books/projects/filesystems/lofat/.sys/lofat-re...@useless-runes.lsp
M books/projects/filesystems/lofat/.sys/stobj-find-n-...@useless-runes.lsp
M books/projects/filesystems/lofat/.sys/update-da...@useless-runes.lsp
M books/projects/filesystems/utilities/.sys/block...@useless-runes.lsp
M books/projects/filesystems/utilities/.sys/cluste...@useless-runes.lsp
M books/projects/filesystems/utilities/.sys/find-n-fr...@useless-runes.lsp
M books/projects/filesystems/utilities/.sys/flatte...@useless-runes.lsp
M books/projects/filesystems/utilities/.sys/generate-...@useless-runes.lsp
M books/projects/filesystems/utilities/.sys/inser...@useless-runes.lsp
M books/projects/filesystems/utilities/.sys/not-inter...@useless-runes.lsp
M books/projects/filesystems/utilities/.sys/set-i...@useless-runes.lsp
M books/projects/fm9001/.sys/alu-...@useless-runes.lsp
M books/projects/fm9001/.sys/app...@useless-runes.lsp
M books/projects/fm9001/.sys/assoc-e...@useless-runes.lsp
M books/projects/fm9001/.sys/ch...@useless-runes.lsp
M books/projects/fm9001/.sys/control...@useless-runes.lsp
M books/projects/fm9001/.sys/con...@useless-runes.lsp
M books/projects/fm9001/.sys/core...@useless-runes.lsp
M books/projects/fm9001/.sys/d...@useless-runes.lsp
M books/projects/fm9001/.sys/dual-p...@useless-runes.lsp
M books/projects/fm9001/.sys/expand...@useless-runes.lsp
M books/projects/fm9001/.sys/f-fun...@useless-runes.lsp
M books/projects/fm9001/.sys/fast...@useless-runes.lsp
M books/projects/fm9001/.sys/final...@useless-runes.lsp
M books/projects/fm9001/.sys/fl...@useless-runes.lsp
M books/projects/fm9001/.sys/fm9001-...@useless-runes.lsp
M books/projects/fm9001/.sys/fm900...@useless-runes.lsp
M books/projects/fm9001/.sys/hard...@useless-runes.lsp
M books/projects/fm9001/.sys/list-r...@useless-runes.lsp
M books/projects/fm9001/.sys/mac...@useless-runes.lsp
M books/projects/fm9001/.sys/mem...@useless-runes.lsp
M books/projects/fm9001/.sys/pad-v...@useless-runes.lsp
M books/projects/fm9001/.sys/pg-t...@useless-runes.lsp
M books/projects/fm9001/.sys/post...@useless-runes.lsp
M books/projects/fm9001/.sys/pre...@useless-runes.lsp
M books/projects/fm9001/.sys/pro...@useless-runes.lsp
M books/projects/fm9001/.sys/r...@useless-runes.lsp
M books/projects/fm9001/.sys/reg...@useless-runes.lsp
M books/projects/fm9001/.sys/store-...@useless-runes.lsp
M books/projects/fm9001/.sys/t-or...@useless-runes.lsp
M books/projects/fm9001/.sys/tree-...@useless-runes.lsp
M books/projects/fm9001/.sys/tv-al...@useless-runes.lsp
M books/projects/fm9001/.sys/tv-de...@useless-runes.lsp
M books/projects/fm9001/.sys/tv...@useless-runes.lsp
M books/projects/fm9001/.sys/ut...@useless-runes.lsp
M books/projects/fm9001/.sys/v-i...@useless-runes.lsp
M books/projects/fm9001/.sys/vector...@useless-runes.lsp
M books/projects/hexnet/.sys/hexnet...@useless-runes.lsp
M books/projects/irv/.sys/i...@useless-runes.lsp
M books/projects/irv/.sys/satisfied...@useless-runes.lsp
M books/projects/leftist-trees/.sys/leftist-tr...@useless-runes.lsp
M books/projects/leftist-trees/.sys/leftist-t...@useless-runes.lsp
M books/projects/leftist-trees/.sys/leftist-...@useless-runes.lsp
M books/projects/legacy-defrstobj/.sys/array-...@useless-runes.lsp
M books/projects/legacy-defrstobj/.sys/typed-rec...@useless-runes.lsp
M books/projects/legacy-defrstobj/.sys/typed-...@useless-runes.lsp
M books/projects/legacy-defrstobj/groundwork/.sys/arra...@useless-runes.lsp
M books/projects/legacy-defrstobj/groundwork/.sys/lo...@useless-runes.lsp
M books/projects/paco/.sys/elim...@useless-runes.lsp
M books/projects/paco/.sys/found...@useless-runes.lsp
M books/projects/paco/.sys/ind...@useless-runes.lsp
M books/projects/paco/.sys/rew...@useless-runes.lsp
M books/projects/paco/.sys/type...@useless-runes.lsp
M books/projects/paco/.sys/util...@useless-runes.lsp
M books/projects/pltpa/.sys/standard-prov...@useless-runes.lsp
M books/projects/quadratic-reciprocity/support/.sys/eu...@useless-runes.lsp
M books/projects/quadratic-reciprocity/support/.sys/fer...@useless-runes.lsp
M books/projects/quadratic-reciprocity/support/.sys/mers...@useless-runes.lsp
M books/projects/quadratic-reciprocity/support/.sys/pr...@useless-runes.lsp
M books/projects/rac/examples/imul/.sys/im...@useless-runes.lsp
M books/projects/rac/examples/imul/.sys/pr...@useless-runes.lsp
M books/projects/rac/lisp/.sys/internal...@useless-runes.lsp
M books/projects/regex/.sys/defset-en...@useless-runes.lsp
M books/projects/regex/.sys/input...@useless-runes.lsp
M books/projects/regex/.sys/regex-c...@useless-runes.lsp
M books/projects/regex/.sys/regex...@useless-runes.lsp
M books/projects/regex/.sys/regex...@useless-runes.lsp
M books/projects/regex/.sys/regex-pa...@useless-runes.lsp
M books/projects/regex/.sys/regex-par...@useless-runes.lsp
M books/projects/regex/.sys/regex...@useless-runes.lsp
M books/projects/regex/.sys/rege...@useless-runes.lsp
M books/projects/rp-rewriter/.sys/aux-fu...@useless-runes.lsp
M books/projects/rp-rewriter/.sys/cl-co...@useless-runes.lsp
M books/projects/rp-rewriter/.sys/extract...@useless-runes.lsp
M books/projects/rp-rewriter/.sys/mac...@useless-runes.lsp
M books/projects/rp-rewriter/.sys/rp-re...@useless-runes.lsp
M books/projects/rp-rewriter/.sys/rp-state-...@useless-runes.lsp
M books/projects/rp-rewriter/.sys/user-...@useless-runes.lsp
M books/projects/rp-rewriter/lib/mult/meta/.sys/adder-ru...@useless-runes.lsp
M books/projects/rp-rewriter/lib/mult/meta/.sys/equal...@useless-runes.lsp
M books/projects/rp-rewriter/lib/mult/meta/.sys/f2-ne...@useless-runes.lsp
M books/projects/rp-rewriter/lib/mult/meta/.sys/m2-ne...@useless-runes.lsp
M books/projects/rp-rewriter/lib/mult/meta/.sys/pp-flatten-meta...@useless-runes.lsp
M books/projects/rp-rewriter/lib/mult/meta/.sys/pp-flat...@useless-runes.lsp
M books/projects/rp-rewriter/lib/mult/meta/.sys/pp-ord...@useless-runes.lsp
M books/projects/rp-rewriter/lib/mult/meta/.sys/pp-su...@useless-runes.lsp
M books/projects/rp-rewriter/lib/mult/meta/.sys/sum-...@useless-runes.lsp
M books/projects/rp-rewriter/meta/.sys/equal...@useless-runes.lsp
M books/projects/rp-rewriter/meta/.sys/hons-ac...@useless-runes.lsp
M books/projects/rp-rewriter/meta/.sys/hons-g...@useless-runes.lsp
M books/projects/rp-rewriter/meta/.sys/implie...@useless-runes.lsp
M books/projects/rp-rewriter/meta/.sys/mv-nt...@useless-runes.lsp
M books/projects/rp-rewriter/proofs/.sys/apply-bind...@useless-runes.lsp
M books/projects/rp-rewriter/proofs/.sys/aux-funct...@useless-runes.lsp
M books/projects/rp-rewriter/proofs/.sys/eval-funct...@useless-runes.lsp
M books/projects/rp-rewriter/proofs/.sys/ex-counter...@useless-runes.lsp
M books/projects/rp-rewriter/proofs/.sys/extract-for...@useless-runes.lsp
M books/projects/rp-rewriter/proofs/.sys/gua...@useless-runes.lsp
M books/projects/rp-rewriter/proofs/.sys/match-lh...@useless-runes.lsp
M books/projects/rp-rewriter/proofs/.sys/measure...@useless-runes.lsp
M books/projects/rp-rewriter/proofs/.sys/proof-func...@useless-runes.lsp
M books/projects/rp-rewriter/proofs/.sys/rp-co...@useless-runes.lsp
M books/projects/rp-rewriter/proofs/.sys/rp-equa...@useless-runes.lsp
M books/projects/rp-rewriter/proofs/.sys/rp-rw-...@useless-runes.lsp
M books/projects/rp-rewriter/proofs/.sys/rp-state-fun...@useless-runes.lsp
M books/projects/sat/dimacs-reader/.sys/rea...@useless-runes.lsp
M books/projects/sat/lrat/cube/.sys/cu...@useless-runes.lsp
M books/projects/sat/lrat/cube/.sys/verify-for-cube-...@useless-runes.lsp
M books/projects/sat/lrat/early/rev1/.sys/sat-drat-...@useless-runes.lsp
M books/projects/sat/lrat/early/rev1/.sys/satisfiable-add-...@useless-runes.lsp
M books/projects/sat/lrat/early/rev1/.sys/soun...@useless-runes.lsp
M books/projects/sat/lrat/early/rev1/.sys/truth-m...@useless-runes.lsp
M books/projects/sat/lrat/early/rev1/.sys/unit-propagatio...@useless-runes.lsp
M books/projects/sat/lrat/early/rev2/.sys/soun...@useless-runes.lsp
M books/projects/sat/lrat/incremental/.sys/clrat-...@useless-runes.lsp
M books/projects/sat/lrat/incremental/.sys/incre...@useless-runes.lsp
M books/projects/sat/lrat/incremental/.sys/soundnes...@useless-runes.lsp
M books/projects/sat/lrat/incremental/.sys/soundne...@useless-runes.lsp
M books/projects/sat/lrat/list-based/.sys/soun...@useless-runes.lsp
M books/projects/sat/lrat/stobj-based/.sys/eq...@useless-runes.lsp
M books/projects/sat/lrat/stobj-based/.sys/lrat-c...@useless-runes.lsp
M books/projects/sat/lrat/stobj-based/.sys/lrat-...@useless-runes.lsp
M books/projects/sat/proof-checker-array/.sys/assignme...@useless-runes.lsp
M books/projects/sat/proof-checker-array/.sys/assign...@useless-runes.lsp
M books/projects/sat/proof-checker-array/.sys/far...@useless-runes.lsp
M books/projects/sat/zz-resolution-checker/.sys/zz-c...@useless-runes.lsp
M books/projects/sb-machine/.sys/s...@useless-runes.lsp
M books/projects/sb-machine/.sys/to...@useless-runes.lsp
M books/projects/sb-machine/proofs/completed/.sys/fe...@useless-runes.lsp
M books/projects/sb-machine/proofs/completed/.sys/stu...@useless-runes.lsp
M books/projects/sb-machine/proofs/completed/.sys/stu...@useless-runes.lsp
M books/projects/sb-machine/proofs/completed/.sys/stu...@useless-runes.lsp
M books/projects/sb-machine/proofs/completed/.sys/writes-with...@useless-runes.lsp
M books/projects/sb-machine/proofs/completed/.sys/writes-with...@useless-runes.lsp
M books/projects/sb-machine/proofs/completed/.sys/writes-w...@useless-runes.lsp
M books/projects/security/jfkr/.sys/diffie...@useless-runes.lsp
M books/projects/security/jfkr/.sys/encry...@useless-runes.lsp
M books/projects/security/util/.sys/byte-op...@useless-runes.lsp
M books/projects/shnf/.sys/sup...@useless-runes.lsp
M books/projects/sidekick/.sys/even...@useless-runes.lsp
M books/projects/smtlink/.sys/con...@useless-runes.lsp
M books/projects/smtlink/examples/.sys/inve...@useless-runes.lsp
M books/projects/smtlink/examples/.sys/ut...@useless-runes.lsp
M books/projects/smtlink/trusted/.sys/r...@useless-runes.lsp
M books/projects/smtlink/trusted/.sys/wr...@useless-runes.lsp
M books/projects/smtlink/trusted/z3-py/.sys/data...@useless-runes.lsp
M books/projects/smtlink/trusted/z3-py/.sys/na...@useless-runes.lsp
M books/projects/smtlink/trusted/z3-py/.sys/pretty-...@useless-runes.lsp
M books/projects/smtlink/trusted/z3-py/.sys/trans...@useless-runes.lsp
M books/projects/smtlink/verified/.sys/Smt...@useless-runes.lsp
M books/projects/smtlink/verified/.sys/add-h...@useless-runes.lsp
M books/projects/smtlink/verified/.sys/compute...@useless-runes.lsp
M books/projects/smtlink/verified/.sys/expa...@useless-runes.lsp
M books/projects/smtlink/verified/.sys/extr...@useless-runes.lsp
M books/projects/smtlink/verified/.sys/f...@useless-runes.lsp
M books/projects/smtlink/verified/.sys/hint-in...@useless-runes.lsp
M books/projects/smtlink/verified/.sys/hint-...@useless-runes.lsp
M books/projects/smtlink/verified/.sys/type-ex...@useless-runes.lsp
M books/projects/smtlink/verified/.sys/type...@useless-runes.lsp
M books/projects/smtlink/verified/.sys/uninterpr...@useless-runes.lsp
M books/projects/srt/support/.sys/divi...@useless-runes.lsp
M books/projects/srt/support/.sys/se...@useless-runes.lsp
M books/projects/srt/support/.sys/sq...@useless-runes.lsp
M books/projects/stateman/.sys/byte-addre...@useless-runes.lsp
M books/projects/stateman/.sys/state...@useless-runes.lsp
M books/projects/symbolic/generic/.sys/asser...@useless-runes.lsp
M books/projects/symbolic/generic/.sys/factorial-...@useless-runes.lsp
M books/projects/symbolic/generic/.sys/partial-c...@useless-runes.lsp
M books/projects/symbolic/generic/.sys/tiny-fib...@useless-runes.lsp
M books/projects/symbolic/generic/.sys/total-co...@useless-runes.lsp
M books/projects/symbolic/m5/.sys/de...@useless-runes.lsp
M books/projects/symbolic/m5/.sys/util...@useless-runes.lsp
M books/projects/symbolic/tiny-fib/.sys/defs...@useless-runes.lsp
M books/projects/symbolic/tiny-fib/.sys/tiny-r...@useless-runes.lsp
M books/projects/symbolic/tiny-fib/.sys/ti...@useless-runes.lsp
M books/projects/symbolic/tiny-triangle/.sys/tiny-trian...@useless-runes.lsp
M books/projects/taspi/code/gen-helper/.sys/ex...@useless-runes.lsp
M books/projects/taspi/code/gen-helper/.sys/fast-...@useless-runes.lsp
M books/projects/taspi/code/gen-helper/.sys/se...@useless-runes.lsp
M books/projects/taspi/code/gen-trees/.sys/btree...@useless-runes.lsp
M books/projects/taspi/code/replete/.sys/rep...@useless-runes.lsp
M books/projects/taspi/code/tree-manip/.sys/quic...@useless-runes.lsp
M books/projects/taspi/proofs/.sys/fringe...@useless-runes.lsp
M books/projects/taspi/proofs/.sys/omerge-g...@useless-runes.lsp
M books/projects/taspi/tree-generation/distance-based/.sys/naive-quar...@useless-runes.lsp
M books/projects/taspi/tree-score/.sys/efficien...@useless-runes.lsp
M books/projects/taspi/tree-score/.sys/min-l...@useless-runes.lsp
M books/projects/translators/l3-to-acl2/examples/thacker/.sys/tiny-...@useless-runes.lsp
M books/projects/translators/l3-to-acl2/translator/.sys/l...@useless-runes.lsp
M books/projects/wp-gen/mutrec/.sys/mut...@useless-runes.lsp
M books/projects/x86isa/machine/.sys/application-...@useless-runes.lsp
M books/projects/x86isa/machine/.sys/cp...@useless-runes.lsp
M books/projects/x86isa/machine/.sys/decoding-an...@useless-runes.lsp
M books/projects/x86isa/machine/.sys/dispatch...@useless-runes.lsp
M books/projects/x86isa/machine/.sys/dispatc...@useless-runes.lsp
M books/projects/x86isa/machine/.sys/envir...@useless-runes.lsp
M books/projects/x86isa/machine/.sys/evex-opcod...@useless-runes.lsp
M books/projects/x86isa/machine/.sys/guard-...@useless-runes.lsp
M books/projects/x86isa/machine/.sys/inst-l...@useless-runes.lsp
M books/projects/x86isa/machine/.sys/inst-s...@useless-runes.lsp
M books/projects/x86isa/machine/.sys/linear...@useless-runes.lsp
M books/projects/x86isa/machine/.sys/mo...@useless-runes.lsp
M books/projects/x86isa/machine/.sys/other-...@useless-runes.lsp
M books/projects/x86isa/machine/.sys/pag...@useless-runes.lsp
M books/projects/x86isa/machine/.sys/physica...@useless-runes.lsp
M books/projects/x86isa/machine/.sys/prefix-modrm...@useless-runes.lsp
M books/projects/x86isa/machine/.sys/register-reade...@useless-runes.lsp
M books/projects/x86isa/machine/.sys/rflag...@useless-runes.lsp
M books/projects/x86isa/machine/.sys/segmen...@useless-runes.lsp
A books/projects/x86isa/machine/.sys/st...@useless-runes.lsp
M books/projects/x86isa/machine/.sys/sysc...@useless-runes.lsp
M books/projects/x86isa/machine/.sys/three-byte-op...@useless-runes.lsp
M books/projects/x86isa/machine/.sys/top-leve...@useless-runes.lsp
M books/projects/x86isa/machine/.sys/two-byte-opc...@useless-runes.lsp
M books/projects/x86isa/machine/.sys/vex-opcode...@useless-runes.lsp
M books/projects/x86isa/machine/.sys/x...@useless-runes.lsp
M books/projects/x86isa/machine/instructions/fp/.sys/arith...@useless-runes.lsp
M books/projects/x86isa/machine/instructions/fp/.sys/ba...@useless-runes.lsp
M books/projects/x86isa/machine/instructions/fp/.sys/bit...@useless-runes.lsp
M books/projects/x86isa/machine/instructions/fp/.sys/con...@useless-runes.lsp
M books/projects/x86isa/machine/instructions/fp/.sys/log...@useless-runes.lsp
M books/projects/x86isa/machine/instructions/fp/.sys/m...@useless-runes.lsp
M books/projects/x86isa/machine/instructions/fp/.sys/mx...@useless-runes.lsp
M books/projects/x86isa/machine/instructions/fp/.sys/shuffle-a...@useless-runes.lsp
M books/projects/x86isa/machine/instructions/fp/.sys/simd-i...@useless-runes.lsp
M books/projects/x86isa/proofs/codewalker-examples/.sys/ba...@useless-runes.lsp
M books/projects/x86isa/proofs/codewalker-examples/.sys/fact...@useless-runes.lsp
M books/projects/x86isa/proofs/codewalker-examples/.sys/popco...@useless-runes.lsp
M books/projects/x86isa/proofs/dataCopy/.sys/data...@useless-runes.lsp
M books/projects/x86isa/proofs/dataCopy/.sys/in...@useless-runes.lsp
M books/projects/x86isa/proofs/dataCopy/.sys/loop...@useless-runes.lsp
M books/projects/x86isa/proofs/dataCopy/.sys/loop-...@useless-runes.lsp
M books/projects/x86isa/proofs/dissertation-examples/.sys/clc-stc-...@useless-runes.lsp
M books/projects/x86isa/proofs/dissertation-examples/.sys/clc-stc-system-l...@useless-runes.lsp
M books/projects/x86isa/proofs/dissertation-examples/.sys/clc-stc-system-lev...@useless-runes.lsp
M books/projects/x86isa/proofs/factorial/.sys/fact-inducti...@useless-runes.lsp
M books/projects/x86isa/proofs/factorial/.sys/fact-wormhol...@useless-runes.lsp
M books/projects/x86isa/proofs/popcount/.sys/popcount...@useless-runes.lsp
M books/projects/x86isa/proofs/popcount/.sys/popc...@useless-runes.lsp
M books/projects/x86isa/proofs/powOfTwo/.sys/powO...@useless-runes.lsp
M books/projects/x86isa/proofs/utilities/app-view/.sys/environm...@useless-runes.lsp
M books/projects/x86isa/proofs/utilities/app-view/.sys/user-level-...@useless-runes.lsp
M books/projects/x86isa/proofs/utilities/sys-view/.sys/common-syste...@useless-runes.lsp
M books/projects/x86isa/proofs/utilities/sys-view/.sys/gl-l...@useless-runes.lsp
M books/projects/x86isa/proofs/utilities/sys-view/.sys/marking-...@useless-runes.lsp
M books/projects/x86isa/proofs/utilities/sys-view/.sys/marking-v...@useless-runes.lsp
M books/projects/x86isa/proofs/utilities/sys-view/.sys/non-markin...@useless-runes.lsp
M books/projects/x86isa/proofs/utilities/sys-view/.sys/physical-m...@useless-runes.lsp
M books/projects/x86isa/proofs/utilities/sys-view/paging/.sys/common-pag...@useless-runes.lsp
M books/projects/x86isa/proofs/utilities/sys-view/paging/.sys/gather-paging-...@useless-runes.lsp
M books/projects/x86isa/proofs/utilities/sys-view/paging/.sys/gather-pagin...@useless-runes.lsp
M books/projects/x86isa/proofs/utilities/sys-view/paging/.sys/la-to-p...@useless-runes.lsp
M books/projects/x86isa/proofs/utilities/sys-view/paging/.sys/page-dir-ptr...@useless-runes.lsp
M books/projects/x86isa/proofs/utilities/sys-view/paging/.sys/page-direc...@useless-runes.lsp
M books/projects/x86isa/proofs/utilities/sys-view/paging/.sys/page-tab...@useless-runes.lsp
M books/projects/x86isa/proofs/utilities/sys-view/paging/.sys/page-walk-s...@useless-runes.lsp
M books/projects/x86isa/proofs/utilities/sys-view/paging/.sys/paging...@useless-runes.lsp
M books/projects/x86isa/proofs/utilities/sys-view/paging/.sys/pml4-tab...@useless-runes.lsp
M books/projects/x86isa/proofs/utilities/sys-view/paging/.sys/t...@useless-runes.lsp
M books/projects/x86isa/proofs/wordCount/.sys/w...@useless-runes.lsp
M books/projects/x86isa/proofs/zeroCopy/marking-view/.sys/read-page-after-w...@useless-runes.lsp
M books/projects/x86isa/proofs/zeroCopy/marking-view/.sys/zeroCo...@useless-runes.lsp
M books/projects/x86isa/proofs/zeroCopy/marking-view/.sys/zeroCop...@useless-runes.lsp
M books/projects/x86isa/proofs/zeroCopy/marking-view/.sys/zeroCop...@useless-runes.lsp
M books/projects/x86isa/proofs/zeroCopy/marking-view/.sys/zero...@useless-runes.lsp
M books/projects/x86isa/proofs/zeroCopy/non-marking-view/.sys/zero...@useless-runes.lsp
M books/projects/x86isa/tools/execution/.sys/execl...@useless-runes.lsp
M books/projects/x86isa/tools/execution/.sys/init-pag...@useless-runes.lsp
M books/projects/x86isa/tools/execution/.sys/init-...@useless-runes.lsp
M books/projects/x86isa/tools/execution/.sys/t...@useless-runes.lsp
M books/projects/x86isa/tools/execution/examples/.sys/fact...@useless-runes.lsp
M books/projects/x86isa/tools/execution/examples/.sys/fibon...@useless-runes.lsp
M books/projects/x86isa/tools/execution/examples/.sys/fibo...@useless-runes.lsp
M books/projects/x86isa/tools/execution/instrument/.sys/t...@useless-runes.lsp
M books/proofstyles/completeness/.sys/assertion...@useless-runes.lsp
M books/proofstyles/completeness/.sys/assertio...@useless-runes.lsp
M books/proofstyles/completeness/.sys/clock-...@useless-runes.lsp
M books/proofstyles/completeness/.sys/clock...@useless-runes.lsp
M books/proofstyles/completeness/.sys/stepwise-inva...@useless-runes.lsp
M books/proofstyles/completeness/.sys/stepwise-inv...@useless-runes.lsp
M books/proofstyles/counterexamples/.sys/real...@useless-runes.lsp
M books/proofstyles/invclock/c2i/.sys/c2i-...@useless-runes.lsp
M books/proofstyles/invclock/c2i/.sys/clock-...@useless-runes.lsp
M books/proofstyles/invclock/i2c/.sys/inv-to...@useless-runes.lsp
M books/proofstyles/soundness/.sys/assertion...@useless-runes.lsp
M books/proofstyles/soundness/.sys/assertio...@useless-runes.lsp
M books/proofstyles/soundness/.sys/clock-...@useless-runes.lsp
M books/proofstyles/soundness/.sys/clock...@useless-runes.lsp
M books/proofstyles/soundness/.sys/stepwise-inva...@useless-runes.lsp
M books/proofstyles/soundness/.sys/stepwise-inv...@useless-runes.lsp
M books/rtl/rel1/lib3/.sys/ba...@useless-runes.lsp
M books/rtl/rel1/support/.sys/log...@useless-runes.lsp
M books/rtl/rel1/support/.sys/logl...@useless-runes.lsp
M books/rtl/rel1/support/.sys/logxo...@useless-runes.lsp
M books/rtl/rel1/support/.sys/me...@useless-runes.lsp
M books/rtl/rel1/support/.sys/o...@useless-runes.lsp
M books/rtl/rel1/support/.sys/x-...@useless-runes.lsp
M books/rtl/rel1/support/fadd/.sys/lo...@useless-runes.lsp
M books/rtl/rel1/support/fadd/.sys/lo...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/arithmetic/.sys/ba...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/arithmetic/.sys/common-fac...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/arithmetic/.sys/denom...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/arithmetic/.sys/expo-...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/arithmetic/.sys/expt-...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/arithmetic/.sys/extra...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/arithmetic/.sys/fl-p...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/arithmetic/.sys/inverte...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/arithmetic/.sys/mod-p...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/arithmetic/.sys/negative...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/lib1.delta1/.sys/bvecp-raw-h...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/lib1.delta1/.sys/float-...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/lib1.delta1/.sys/round-...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/.sys/bits-ne...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/.sys/bits-...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/.sys/bvecp-raw-he...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/.sys/float-...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/.sys/log-new...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/.sys/log-p...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/.sys/logn-...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/.sys/logn2lo...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/.sys/round-ne...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/.sys/round-...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/.sys/rtl-new...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/.sys/rtl-p...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta2/.sys/add...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/away-...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/bias-...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/bitn-...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/bits-...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/bits-tru...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/bvecp-...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/cat...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/cat-p...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/c...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/drnd-o...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/enc...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/ereps-...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/fast...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/float...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/fl...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/ir...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/lextra...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/lex...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/lnot-...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/log-p...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/logand...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/logior...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/lo...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/me...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/mo...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/near+-...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/near-...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/oc...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/r...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/round...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/r...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/setbits...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/simplify-mo...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/sum...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/trunc-...@useless-runes.lsp
M books/rtl/rel11/rel9-rtl-pkg/support/support/.sys/ut...@useless-runes.lsp
M books/rtl/rel4/arithmetic/.sys/common-fac...@useless-runes.lsp
M books/rtl/rel4/arithmetic/.sys/denom...@useless-runes.lsp
M books/rtl/rel4/arithmetic/.sys/expo-...@useless-runes.lsp
M books/rtl/rel4/arithmetic/.sys/expt-...@useless-runes.lsp
M books/rtl/rel4/arithmetic/.sys/extra...@useless-runes.lsp
M books/rtl/rel4/arithmetic/.sys/fl-p...@useless-runes.lsp
M books/rtl/rel4/arithmetic/.sys/inverte...@useless-runes.lsp
M books/rtl/rel4/arithmetic/.sys/mod-p...@useless-runes.lsp
M books/rtl/rel4/arithmetic/.sys/negative...@useless-runes.lsp
M books/rtl/rel4/arithmetic/.sys/x-...@useless-runes.lsp
M books/rtl/rel4/support/.sys/add3-...@useless-runes.lsp
M books/rtl/rel4/support/.sys/away-...@useless-runes.lsp
M books/rtl/rel4/support/.sys/bias-...@useless-runes.lsp
M books/rtl/rel4/support/.sys/bitn-...@useless-runes.lsp
M books/rtl/rel4/support/.sys/bits-...@useless-runes.lsp
M books/rtl/rel4/support/.sys/bits-...@useless-runes.lsp
M books/rtl/rel4/support/.sys/bits-tru...@useless-runes.lsp
M books/rtl/rel4/support/.sys/bvecp-...@useless-runes.lsp
M books/rtl/rel4/support/.sys/cat...@useless-runes.lsp
M books/rtl/rel4/support/.sys/cat-p...@useless-runes.lsp
M books/rtl/rel4/support/.sys/c...@useless-runes.lsp
M books/rtl/rel4/support/.sys/dr...@useless-runes.lsp
M books/rtl/rel4/support/.sys/enc...@useless-runes.lsp
M books/rtl/rel4/support/.sys/ereps-...@useless-runes.lsp
M books/rtl/rel4/support/.sys/fa...@useless-runes.lsp
M books/rtl/rel4/support/.sys/fast...@useless-runes.lsp
M books/rtl/rel4/support/.sys/fl...@useless-runes.lsp
M books/rtl/rel4/support/.sys/ir...@useless-runes.lsp
M books/rtl/rel4/support/.sys/lextra...@useless-runes.lsp
M books/rtl/rel4/support/.sys/lnot-...@useless-runes.lsp
M books/rtl/rel4/support/.sys/log-p...@useless-runes.lsp
M books/rtl/rel4/support/.sys/logand...@useless-runes.lsp
M books/rtl/rel4/support/.sys/logior...@useless-runes.lsp
M books/rtl/rel4/support/.sys/lo...@useless-runes.lsp
M books/rtl/rel4/support/.sys/lop1-...@useless-runes.lsp
M books/rtl/rel4/support/.sys/lop2-...@useless-runes.lsp
M books/rtl/rel4/support/.sys/lop3-...@useless-runes.lsp
M books/rtl/rel4/support/.sys/me...@useless-runes.lsp
M books/rtl/rel4/support/.sys/mo...@useless-runes.lsp
M books/rtl/rel4/support/.sys/near-...@useless-runes.lsp
M books/rtl/rel4/support/.sys/oc...@useless-runes.lsp
M books/rtl/rel4/support/.sys/r...@useless-runes.lsp
M books/rtl/rel4/support/.sys/rom-h...@useless-runes.lsp
M books/rtl/rel4/support/.sys/r...@useless-runes.lsp
M books/rtl/rel4/support/.sys/rtl...@useless-runes.lsp
M books/rtl/rel4/support/.sys/setbits...@useless-runes.lsp
M books/rtl/rel4/support/.sys/simplify-mo...@useless-runes.lsp
M books/rtl/rel4/support/.sys/stick-...@useless-runes.lsp
M books/rtl/rel4/support/.sys/sum...@useless-runes.lsp
M books/rtl/rel4/support/.sys/trunc-...@useless-runes.lsp
M books/rtl/rel4/support/.sys/ut...@useless-runes.lsp
M books/rtl/rel9/arithmetic/.sys/ba...@useless-runes.lsp
M books/rtl/rel9/arithmetic/.sys/common-fac...@useless-runes.lsp
M books/rtl/rel9/arithmetic/.sys/denom...@useless-runes.lsp
M books/rtl/rel9/arithmetic/.sys/expo-...@useless-runes.lsp
M books/rtl/rel9/arithmetic/.sys/expt-...@useless-runes.lsp
M books/rtl/rel9/arithmetic/.sys/extra...@useless-runes.lsp
M books/rtl/rel9/arithmetic/.sys/fl-p...@useless-runes.lsp
M books/rtl/rel9/arithmetic/.sys/inverte...@useless-runes.lsp
M books/rtl/rel9/arithmetic/.sys/mod-p...@useless-runes.lsp
M books/rtl/rel9/arithmetic/.sys/negative...@useless-runes.lsp
M books/rtl/rel9/support/lib1.delta1/.sys/bvecp-raw-h...@useless-runes.lsp
M books/rtl/rel9/support/lib1.delta1/.sys/float-...@useless-runes.lsp
M books/rtl/rel9/support/lib1.delta1/.sys/mult-...@useless-runes.lsp
M books/rtl/rel9/support/lib1.delta1/.sys/round-...@useless-runes.lsp
M books/rtl/rel9/support/lib1.delta1/.sys/simple-loop-...@useless-runes.lsp
M books/rtl/rel9/support/lib2.delta1/.sys/add-new...@useless-runes.lsp
M books/rtl/rel9/support/lib2.delta1/.sys/add-p...@useless-runes.lsp
M books/rtl/rel9/support/lib2.delta1/.sys/bits-ne...@useless-runes.lsp
M books/rtl/rel9/support/lib2.delta1/.sys/bits-...@useless-runes.lsp
M books/rtl/rel9/support/lib2.delta1/.sys/bvecp-raw-he...@useless-runes.lsp
M books/rtl/rel9/support/lib2.delta1/.sys/float-...@useless-runes.lsp
M books/rtl/rel9/support/lib2.delta1/.sys/log-new...@useless-runes.lsp
M books/rtl/rel9/support/lib2.delta1/.sys/log-p...@useless-runes.lsp
M books/rtl/rel9/support/lib2.delta1/.sys/logn-...@useless-runes.lsp
M books/rtl/rel9/support/lib2.delta1/.sys/logn2lo...@useless-runes.lsp
M books/rtl/rel9/support/lib2.delta1/.sys/mult-...@useless-runes.lsp
M books/rtl/rel9/support/lib2.delta1/.sys/reps-...@useless-runes.lsp
M books/rtl/rel9/support/lib2.delta1/.sys/round-ne...@useless-runes.lsp
M books/rtl/rel9/support/lib2.delta1/.sys/round-...@useless-runes.lsp
M books/rtl/rel9/support/lib2.delta1/.sys/rtl-new...@useless-runes.lsp
M books/rtl/rel9/support/lib2.delta1/.sys/rtl-p...@useless-runes.lsp
M books/rtl/rel9/support/lib2.delta1/.sys/simple-loop-h...@useless-runes.lsp
M books/rtl/rel9/support/lib2.delta2/.sys/add...@useless-runes.lsp
M books/rtl/rel9/support/lib3.delta1/.sys/divi...@useless-runes.lsp
M books/rtl/rel9/support/lib3.delta1/.sys/se...@useless-runes.lsp
M books/rtl/rel9/support/lib3.delta1/.sys/sqr...@useless-runes.lsp
M books/rtl/rel9/support/lib3.delta3/.sys/g...@useless-runes.lsp
M books/rtl/rel9/support/lib3.delta3/.sys/mu...@useless-runes.lsp
M books/rtl/rel9/support/lib3.delta3/.sys/sqr...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/add3-...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/away-...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/bias-...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/bitn-...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/bits-...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/bits-tru...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/bvecp-...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/cat...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/cat-p...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/c...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/drnd-o...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/enc...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/ereps-...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/fadd-...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/fa...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/fast...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/float...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/fl...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/ir...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/lextra...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/lex...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/lnot-...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/log-p...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/logand...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/logior...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/lo...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/lop1-...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/lop2-...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/lop3-...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/me...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/mo...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/near+-...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/near-...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/oc...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/r...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/rom-h...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/round...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/r...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/rtl...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/setbits...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/simplify-mo...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/stick-...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/sum...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/trunc-...@useless-runes.lsp
M books/rtl/rel9/support/support/.sys/ut...@useless-runes.lsp
M books/sorting/.sys/bs...@useless-runes.lsp
Log Message:
-----------
Updated bin/new-useless-runes-files.sh and used it to update useless-runes files. Fixed a comment typo.
With the move, a few weeks ago, of useless-runes files to .sys/
subdirectories, it was necessary to update
bin/new-useless-runes-files.sh accordingly. That's done.
Thanks to Eric Smithh for pointing out the misspell. ;)
NOTE: Git did some weird renamings even though I only used "git add"
and "git rm" on such files, as shown below (running in my top-level
ACL2 directory).
$ git status | fgrep renamed
renamed: books/kestrel/strings-light/.sys/top...@useless-runes.lsp -> books/centaur/bigmem/.sys/portc...@useless-runes.lsp
renamed: books/kestrel/ethereum/semaphore/.sys/proof...@useless-runes.lsp -> books/demos/.sys/brr-free-va...@useless-runes.lsp
renamed: books/kestrel/axe/.sys/my-sublis-var-...@useless-runes.lsp -> books/kestrel/axe/.sys/sublis-var-a...@useless-runes.lsp
renamed: books/kestrel/axe/.sys/rule-li...@useless-runes.lsp -> books/kestrel/axe/jvm/.sys/rule-li...@useless-runes.lsp
renamed: books/kestrel/bv/.sys/defs-...@useless-runes.lsp -> books/kestrel/bv/.sys/bvsh...@useless-runes.lsp
renamed: books/kestrel/crypto/pfcs/.sys/exam...@useless-runes.lsp -> books/kestrel/crypto/pfcs/.sys/examples...@useless-runes.lsp
renamed: books/kestrel/crypto/r1cs/.sys/fe-lis...@useless-runes.lsp -> books/kestrel/prime-fields/.sys/fe-lis...@useless-runes.lsp
renamed: books/kestrel/crypto/r1cs/.sys/fe-l...@useless-runes.lsp -> books/kestrel/prime-fields/.sys/fe-l...@useless-runes.lsp
renamed: books/kestrel/utilities/.sys/vars-i...@useless-runes.lsp -> books/kestrel/terms-light/.sys/free-var...@useless-runes.lsp
renamed: books/kestrel/axe/.sys/make-va...@useless-runes.lsp -> books/kestrel/utilities/.sys/make-va...@useless-runes.lsp
$
Commit: 7397658db6eb9f2324a4e06e501504f913c8bb43
https://github.com/acl2/acl2/commit/7397658db6eb9f2324a4e06e501504f913c8bb43
Author: ACL2 Build Server <
acl2bui...@gmail.com>
Date: 2021-07-17 (Sat, 17 Jul 2021)
Changed paths:
M books/centaur/vl2014/transforms/expand-functions.lisp
M books/defexec/other-apps/qsort/merge-intermediate.lisp
M books/kestrel/abnf/parsing-primitives.lisp
M books/kestrel/c/atc/doc.lisp
M books/kestrel/c/atc/dynamic-semantics.lisp
M books/kestrel/c/atc/proof-support.lisp
M books/kestrel/java/atj/pre-translation.lisp
M books/kestrel/java/atj/shallow-code-generation.lisp
M books/make-event/defspec.lisp
M books/projects/apply-model-2/ex2/defattach-demo.lisp
M books/projects/apply-model/ex2/defattach-demo.lisp
M books/projects/taspi/code/fringes/fringes-props.lisp
M books/workshops/2009/vandenbroek-schmaltz/GeNoC/instantiations/flowcontrol/circuit/flowcontrol.lisp
M books/workshops/2009/vandenbroek-schmaltz/GeNoC/instantiations/flowcontrol/wormhole/flowcontrol.lisp
Log Message:
-----------
Merge commit '61287ea5bea705a9eb2710f6fb6d7dca4dc94aac' into HEAD
Compare:
https://github.com/acl2/acl2/compare/f6b242c07ab6...7397658db6eb