Index of /debian/acl2/acl2-8.3dfsg/books/demos/

../
big-proof-talks/                                   16-Apr-2020 14:22                   -
gl-and-std/                                        16-Apr-2020 14:22                   -
marktoberdorf-08/                                  16-Apr-2020 14:22                   -
modeling/                                          16-Apr-2020 14:22                   -
parallel/                                          16-Apr-2020 14:22                   -
proofs/                                            16-Apr-2020 14:22                   -
tutorial-problems/                                 16-Apr-2020 14:22                   -
Readme.lsp                                         16-Apr-2020 14:22                2906
constants-that-require-modifying-state.lisp        16-Apr-2020 14:22                1156
gl-and-use-example.acl2                            16-Apr-2020 14:22                  82
gl-and-use-example.lisp                            16-Apr-2020 14:22                5861
knuth-bendix-problem-1.lisp                        16-Apr-2020 14:22                4386
list-equality-from-nth.acl2                        16-Apr-2020 14:22                  35
list-equality-from-nth.lisp                        16-Apr-2020 14:22                3068
list-theory.lisp                                   16-Apr-2020 14:22                2196
meta-wf-guarantee-example.acl2                     16-Apr-2020 14:22                  20
meta-wf-guarantee-example.lisp                     16-Apr-2020 14:22               22102
mini-proveall-book.acl2                            16-Apr-2020 14:22                 149
mini-proveall-book.lisp                            16-Apr-2020 14:22                 282
mini-proveall-input.lsp                            16-Apr-2020 14:22                 305
mini-proveall-log.txt                              16-Apr-2020 14:22               82338
nth-update-nth-meta-extract.lisp                   16-Apr-2020 14:22               12399
partial-encapsulate-support-raw.lsp                16-Apr-2020 14:22                 509
partial-encapsulate-support.lisp                   16-Apr-2020 14:22                1603
partial-encapsulate.acl2                           16-Apr-2020 14:22                  45
partial-encapsulate.lisp                           16-Apr-2020 14:22                 998
patterned-congruences.lisp                         16-Apr-2020 14:22               48834
register-invariant-risk-support.acl2               16-Apr-2020 14:22                  91
register-invariant-risk-support.lisp               16-Apr-2020 14:22                 950
register-invariant-risk.acl2                       16-Apr-2020 14:22                  30
register-invariant-risk.lisp                       16-Apr-2020 14:22                1830
sort-by-car-pkg.lsp                                16-Apr-2020 14:22                 316
sort-by-car-support.acl2                           16-Apr-2020 14:22                  27
sort-by-car-support.lisp                           16-Apr-2020 14:22                9688
sort-by-car.acl2                                   16-Apr-2020 14:22                  27
sort-by-car.lisp                                   16-Apr-2020 14:22                4193
split-types-examples.lisp                          16-Apr-2020 14:22                9759
stobj-equality-from-fields.acl2                    16-Apr-2020 14:22                  35
stobj-equality-from-fields.lisp                    16-Apr-2020 14:22                2795