Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
newman.lisp.gz | 2010-09-20 19:29 | 8.3K | ||
newman.acl2.gz | 2010-09-20 19:29 | 326 | ||
convergent.lisp.gz | 2010-09-20 19:29 | 5.7K | ||
convergent.acl2.gz | 2010-09-20 19:29 | 348 | ||
confluence.lisp.gz | 2010-09-20 19:29 | 4.2K | ||
confluence.acl2.gz | 2010-09-20 19:29 | 319 | ||
abstract-proofs.lisp.gz | 2010-09-20 19:29 | 2.0K | ||
Makefile.gz | 2010-09-20 19:29 | 251 | ||