| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | paper.pdf.gz | 80439 | logplain |
| -rw-r--r-- | paper.ps.gz | 63546 | logplain |
| -rw-r--r-- | slides.ppt | 266240 | logplain |
| -rw-r--r-- | slides2.htm | 2600 | logplain |
| d--------- | slides2_files | 3818 | logplain |
 |
index : acl2 | |
| Debian dgit repo for package acl2 |
| summaryrefslogtreecommitdiff |