![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/script.gif){kind=icon}
![[ ]](/icons/dvi.gif){kind=icon}
![[ ]](/icons/hand.right.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| mitre.shar | 1993-11-18 21:57 | 126K | |
| caap93.shar | 1993-11-18 21:57 | 88K | |
| using-isabelle.shar | 1993-11-18 21:58 | 83K | |
| lfp92.dvi | 1993-11-18 21:57 | 79K | |
| popl-94.dvi | 1993-11-18 21:58 | 75K | |
| lics90.shar | 1993-11-18 21:57 | 75K | |
| caap93.dvi | 1993-11-18 21:57 | 63K | |
| popl-93.dvi | 1993-11-18 21:58 | 54K | |
| proc-reps.shar | 1993-11-18 21:58 | 42K | |
| partial-types.shar | 1993-11-18 21:57 | 38K | |
| README | 1993-11-18 21:57 | 1.7K | |