 |
|
|
|
.. (parent) |
|
d |
rwxr-xr-x |
4,096 |
.sys
|
 |
- |
rw-r--r-- |
733 |
README
|
|
- |
rw-r--r-- |
5,442 |
answers-to-doc-intro-to-apply.lisp
|
|
- |
rw-r--r-- |
445 |
apply-lemmas.lisp
|
|
- |
rw-r--r-- |
1,459 |
apply.lisp
|
|
- |
rw-r--r-- |
25,279 |
base.lisp
|
|
- |
rw-r--r-- |
12,148 |
copy-nat-tree.lisp
|
|
- |
rw-r--r-- |
15,564 |
definductor-tests.lisp
|
|
- |
rw-r--r-- |
27,078 |
definductor.lisp
|
|
- |
rw-r--r-- |
4,722 |
justification-of-do-induction.lisp
|
|
- |
rw-r--r-- |
6,160 |
loop-induction-tests.lisp
|
|
- |
rw-r--r-- |
66,568 |
loop-lemmas.lisp
|
|
- |
rw-r--r-- |
9,043 |
loop-recursion-examples.lisp
|
|
- |
rw-r--r-- |
97,764 |
loop-tests.lisp
|
|
- |
rw-r--r-- |
4,159 |
loop.lisp
|
|
- |
rw-r--r-- |
34,183 |
mempos.lisp
|
|
- |
rw-r--r-- |
350 |
prog-mode-tests-book.acl2
|
|
- |
rw-r--r-- |
107 |
prog-mode-tests-book.lisp
|
|
- |
rw-r--r-- |
16,972 |
prog-mode-tests-input.lsp
|
|
- |
rw-r--r-- |
142,679 |
prog-mode-tests-log.txt
|
|
- |
rw-r--r-- |
50,152 |
relink-fancy-scion.lisp
|
|
- |
rw-r--r-- |
37 |
report.acl2
|
|
- |
rw-r--r-- |
15,160 |
report.lisp
|
|
- |
rw-r--r-- |
175 |
semi-concrete-do-inductions-book.acl2
|
|
- |
rw-r--r-- |
131 |
semi-concrete-do-inductions-book.lisp
|
|
- |
rw-r--r-- |
12,935 |
semi-concrete-do-inductions-input.lsp
|
|
- |
rw-r--r-- |
150,094 |
semi-concrete-do-inductions-log.txt
|
|
- |
rw-r--r-- |
367 |
top.lisp
|
