Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
skip-rewrite.lisp.gz | 2010-09-20 19:29 | 3.3K | ||
skip-rewrite.acl2.gz | 2010-09-20 19:29 | 156 | ||
rewrite-equal-hint.lisp.gz | 2010-09-20 19:29 | 1.8K | ||
ordinal-order.lisp.gz | 2010-09-20 19:29 | 2.3K | ||
nth-rules.lisp.gz | 2010-09-20 19:29 | 3.6K | ||
nary.lisp.gz | 2010-09-20 19:29 | 10K | ||
nary-discussion.txt.gz | 2010-09-20 19:29 | 4.2K | ||
nary-definitions.lisp.gz | 2010-09-20 19:29 | 15K | ||
example.lisp.gz | 2011-03-06 16:21 | 3.6K | ||
cert.acl2.gz | 2010-09-20 19:29 | 129 | ||
Makefile.gz | 2010-09-20 19:29 | 155 | ||