| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| note-215-acl2-advant..> | 1991-01-23 10:19 | 2.9K | ||
| note-215-acl2-advant..> | 1991-02-12 09:55 | 9.9K | ||
| note-215-acl2-advant..> | 1991-02-12 09:57 | 22K | ||
| acl2-design.tex | 1994-08-30 03:27 | 112K | ||
| acl2-design.ps | 1994-08-30 10:46 | 562K | ||
| story.txt | 1995-03-22 05:45 | 50K | ||