![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| sets.lisp.gz | 2000-04-09 22:57 | 431 | |
| fixpoints.lisp.gz | 2000-04-09 23:03 | 347 | |
| fast-sets.lisp.gz | 2000-04-09 23:03 | 296 | |
| relations.lisp.gz | 2000-04-09 23:05 | 431 | |
| models.lisp.gz | 2000-04-09 23:06 | 558 | |
| syntax.lisp.gz | 2000-04-09 23:07 | 940 | |
| README.gz | 2000-04-11 00:25 | 790 | |
| build.lisp.gz | 2000-06-04 23:23 | 1.0K | |
| fast-sets.acl2.gz | 2000-06-04 23:25 | 712 | |
| models.acl2.gz | 2000-06-04 23:26 | 920 | |
| relations.acl2.gz | 2000-06-04 23:26 | 783 | |
| sets.acl2.gz | 2000-06-04 23:27 | 659 | |
| syntax.acl2.gz | 2000-06-04 23:27 | 922 | |
| semantics.acl2.gz | 2000-06-04 23:27 | 928 | |
| fixpoints.acl2.gz | 2000-06-04 23:27 | 668 | |
| semantics.lisp.gz | 2003-09-15 12:43 | 828 | |
| Makefile.gz | 2004-09-20 20:27 | 305 | |