| Name | Format | # Files | Size | Date |
|---|---|---|---|---|
| build.changes.Z | GZip archive | 1 | 573KB | 1995-10-05 |
| build.im.Z | GZip archive | 1 | 2MB | 1995-10-05 |
| ecase_point.zip | PKZip Archive | 12 | 1MB | 1999-05-18 |
| ecase_point2.zip | PKZip Archive | 9 | 1MB | 1999-05-20 |
| StateClock_old.tar.Z | GZip archive | 1 | 4MB | 1996-10-30 |
| stateclock.tar.Z | GZip archive | 1 | 7MB | 2001-04-25 |
| verify.ps.Z | GZip archive | 1 | 88KB | 1994-10-12 |
| verify251.tar.Z | GZip archive | 1 | 216KB | 1994-05-08 |
| verify31.tar.Z | GZip archive | 1 | 126KB | 1994-05-08 |
| Name | Format | # Pages | Size | Date |
|---|---|---|---|---|
| verify.tex | LaTeX Document | 38KB | 1994-05-08 |