![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| expression-parameters.txt | 1998-03-26 11:45 | 4.6K | |
| overview.txt | 1998-03-27 17:28 | 3.3K | |
| correspondence.txt | 1998-03-27 18:23 | 1.8K | |
| summary.txt | 1998-03-27 19:13 | 1.2K | |
| type-structure-params.txt | 1998-04-07 18:42 | 1.3K | |
| Outline-files.txt | 1998-04-07 18:42 | 207 | |
| other-parameters.txt | 1998-04-15 12:56 | 2.8K | |
| type-equivalence.txt | 1998-04-15 12:58 | 3.8K | |
| parameter-lists.txt | 1998-04-15 13:01 | 3.1K | |
| initial-environment.txt | 1998-04-15 13:01 | 905 | |