![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/hand.right.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 | 1995-09-18 10:45 | 2.8K | |
| DDD/ | 1995-09-15 14:34 | - | |
| Fisler95.ps.Z | 1995-09-18 10:28 | 411K | |
| HOL/ | 1995-09-15 13:48 | - | |
| JohnsonBarwiseAllwein93.ps | 1995-09-18 10:36 | 729K | |
| OCT/ | 1994-08-18 13:39 | - | |
| PVS/ | 1995-09-15 14:57 | - | |
| SMV/ | 1995-09-15 14:09 | - | |
| ST/ | 1995-01-10 16:52 | - | |
| TPCD94.apx.ddd.ps | 1994-08-19 12:53 | 117K | |
| TPCD94.apx.ddd.ps.Z.uu | 1994-08-19 12:54 | 65K | |
| TPCD94.ps | 1994-10-21 15:58 | 504K | |
| TPCD94.ps.Z.uu | 1994-10-21 15:59 | 238K | |