![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[ ]](/icons/uuencoded.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| @README | 18-Sep-1995 10:45 | 2.8K | |
| DDD/ | 15-Sep-1995 14:34 | - | |
| Fisler95.ps.Z | 18-Sep-1995 10:28 | 411K | |
| HOL/ | 15-Sep-1995 13:48 | - | |
| JohnsonBarwiseAllwein93.ps | 18-Sep-1995 10:36 | 729K | |
| OCT/ | 18-Aug-1994 13:39 | - | |
| PVS/ | 15-Sep-1995 14:57 | - | |
| SMV/ | 15-Sep-1995 14:09 | - | |
| ST/ | 10-Jan-1995 16:52 | - | |
| TPCD94.apx.ddd.ps | 19-Aug-1994 12:53 | 117K | |
| TPCD94.apx.ddd.ps.Z.uu | 19-Aug-1994 12:54 | 65K | |
| TPCD94.ps | 21-Oct-1994 15:58 | 504K | |
| TPCD94.ps.Z.uu | 21-Oct-1994 15:59 | 238K | |