Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
README | 1993-11-18 21:57 | 1.7K | ||
caap93.dvi | 1993-11-18 21:57 | 63K | ||
caap93.shar | 1993-11-18 21:57 | 88K | ||
lfp92.dvi | 1993-11-18 21:57 | 79K | ||
lics90.shar | 1993-11-18 21:57 | 75K | ||
mitre.shar | 1993-11-18 21:57 | 126K | ||
partial-types.shar | 1993-11-18 21:57 | 38K | ||
popl-93.dvi | 1993-11-18 21:58 | 54K | ||
popl-94.dvi | 1993-11-18 21:58 | 75K | ||
proc-reps.shar | 1993-11-18 21:58 | 42K | ||
using-isabelle.shar | 1993-11-18 21:58 | 83K | ||