Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
README | 1996-05-24 13:51 | 242 | ||
functional.ps.gz | 1996-05-17 12:15 | 15K | ||
logic-types.ps.gz | 1996-05-17 12:16 | 15K | ||
obj-oriented.ps.gz | 1996-05-17 12:15 | 18K | ||
operational-denotational.ps.gz | 1996-05-17 12:16 | 19K | ||