| Name | Format | # Files | Size | Date |
|---|---|---|---|---|
| cs.etr94.06.ps.Z | GZip archive | 1 | 334KB | 1994-09-13 |
| cs.etr94.07.ps.Z | GZip archive | 1 | 604KB | 1994-09-13 |
| cs.etr94.08.ps.Z | GZip archive | 1 | 600KB | 1994-09-13 |
| theories.frm.ps.Z | GZip archive | 1 | 748KB | 1994-04-18 |
| Name | Format | # Pages | Size | Date |
|---|---|---|---|---|
| survey.ps | PostScript | 70 | 432KB | 1995-04-11 |
| survey.tex | LaTeX Document | 157KB | 1997-06-19 | |
| theories.dvi | Device Independent File | 27 | 98KB | 1994-07-28 |