blob: 267fbace4407e4ab6ee011e397c7c7fc0347a29d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
This is the README for Warren Hunt's chapter in the book "Computer-Aided
Reeasoning: ACL2 Case Studies," Directory contents are as follows.
Makefile
README
a-load-file.lsp
arity.lisp
de4.lisp
examples.lisp
help-defuns.lisp
measure.lisp
primitives.lisp
sts-okp.lisp
syntax.lisp
thm-example.lisp
|
