Index of /debian/acl2/acl2-8.3dfsg/books/make-event/

../
Makefile                                           16-Apr-2020 14:22                 640
Readme.lsp                                         16-Apr-2020 14:22                5615
acl2x-help-test.acl2                               16-Apr-2020 14:22                 106
acl2x-help-test.lisp                               16-Apr-2020 14:22                 580
acl2x-help.lisp                                    16-Apr-2020 14:22                8482
assert-check-include.lisp                          16-Apr-2020 14:22                 214
assert-check.lisp                                  16-Apr-2020 14:22                2975
assert-include.acl2                                16-Apr-2020 14:22                 220
assert-include.lisp                                16-Apr-2020 14:22                 495
basic-check.lisp                                   16-Apr-2020 14:22                1672
basic-pkg-check.acl2                               16-Apr-2020 14:22                 540
basic-pkg-check.lisp                               16-Apr-2020 14:22                 594
basic-pkg.acl2                                     16-Apr-2020 14:22                 523
basic-pkg.lisp                                     16-Apr-2020 14:22                 608
basic.lisp                                         16-Apr-2020 14:22                1938
defconst-fast-examples.lisp                        16-Apr-2020 14:22                1045
defconst-fast.lisp                                 16-Apr-2020 14:22                 968
defrefine.lisp                                     16-Apr-2020 14:22               15388
defrule.lisp                                       16-Apr-2020 14:22                3067
defspec.lisp                                       16-Apr-2020 14:22               21942
dotimes.lisp                                       16-Apr-2020 14:22                4778
double-cert-test-1.acl2                            16-Apr-2020 14:22                 353
double-cert-test-1.lisp                            16-Apr-2020 14:22                 406
double-cert-test.lisp                              16-Apr-2020 14:22                  85
embeddable-event-forms.lisp                        16-Apr-2020 14:22                 616
eval-check-tests.lisp                              16-Apr-2020 14:22                3885
eval-check.lisp                                    16-Apr-2020 14:22                1984
eval-tests.lisp                                    16-Apr-2020 14:22                4275
gen-defthm-check.lisp                              16-Apr-2020 14:22                2606
gen-defthm.lisp                                    16-Apr-2020 14:22                3255
gen-defun-check.lisp                               16-Apr-2020 14:22                2816
gen-defun.lisp                                     16-Apr-2020 14:22                3229
inline-book.lisp                                   16-Apr-2020 14:22                6233
local-elided-include.lisp                          16-Apr-2020 14:22                5357
local-elided.lisp                                  14-Sep-2021 11:51                2521
local-requires-skip-check-include.lisp             16-Apr-2020 14:22                 820
local-requires-skip-check.lisp                     16-Apr-2020 14:22                1754
logical-tangent.lisp                               16-Apr-2020 14:22                1719
macros-include.lisp                                16-Apr-2020 14:22                2629
macros-skip-proofs-include.acl2                    16-Apr-2020 14:22                 289
macros-skip-proofs-include.lisp                    16-Apr-2020 14:22                4000
macros-skip-proofs.acl2                            16-Apr-2020 14:22                 281
macros-skip-proofs.lisp                            16-Apr-2020 14:22                1385
macros.lisp                                        16-Apr-2020 14:22                2603
make-event-keywords-or-exp-check.lisp              16-Apr-2020 14:22                5550
make-event-keywords-or-exp.lisp                    16-Apr-2020 14:22                7908
make-redundant.lisp                                16-Apr-2020 14:22                1023
nested-check.lisp                                  16-Apr-2020 14:22                1910
nested.lisp                                        16-Apr-2020 14:22                1295
portcullis-expansion-include.acl2                  16-Apr-2020 14:22                 516
portcullis-expansion-include.lisp                  16-Apr-2020 14:22                 762
portcullis-expansion.acl2                          16-Apr-2020 14:22                1527
portcullis-expansion.lisp                          16-Apr-2020 14:22                3615
proof-by-arith.lisp                                16-Apr-2020 14:22                5828
read-from-file-data-mod.lsp                        16-Apr-2020 14:22                  10
read-from-file-data.lsp                            16-Apr-2020 14:22                  10
read-from-file.lisp                                16-Apr-2020 14:22                4033
require-book.lisp                                  16-Apr-2020 14:22                8466
search-generation.lisp                             16-Apr-2020 14:22                6465
stobj-test.acl2                                    16-Apr-2020 14:22                 266
stobj-test.lisp                                    16-Apr-2020 14:22                1797
test-case-check.lisp                               16-Apr-2020 14:22                1089
test-case.lisp                                     16-Apr-2020 14:22                1223