Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Makefile.gz | 2007-12-17 10:00 | 266 | ||
confluence.acl2.gz | 2007-12-17 10:00 | 319 | ||
newman.acl2.gz | 2007-12-17 10:00 | 326 | ||
convergent.acl2.gz | 2007-12-17 10:00 | 348 | ||
abstract-proofs.lisp.gz | 2007-12-17 10:00 | 2.0K | ||
confluence.lisp.gz | 2007-12-17 10:00 | 4.2K | ||
convergent.lisp.gz | 2007-12-17 10:00 | 5.7K | ||
newman.lisp.gz | 2007-12-17 10:00 | 8.3K | ||