![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/hand.right.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| COOL-with-adjustments | 30-Oct-1997 09:39 | 173 | |
| README | 21-Oct-1997 08:37 | 100 | |
| adjustments | 21-Oct-1997 17:53 | 6.4K | |
| average-in-rondo | 31-Oct-1997 17:37 | 7.7K | |
| beginning-of-discussion | 20-Nov-1997 09:41 | 20K | |
| class-valued | 14-Nov-1997 14:10 | 3.2K | |
| composition | 19-Nov-1997 08:32 | 405 | |
| context-classes | 29-Oct-1997 21:36 | 2.1K | |
| decoupling | 25-Nov-1997 08:48 | 12K | |
| examples | 12-Nov-1997 14:58 | 15K | |
| general-functions.txt | 29-Oct-1997 09:39 | 1.6K | |
| improved-example | 20-Nov-1997 16:17 | 4.8K | |
| issues-nov17 | 18-Nov-1997 17:37 | 285 | |
| mira-style | 24-Nov-1997 14:05 | 3.1K | |
| nov3 | 03-Nov-1997 13:44 | 3.9K | |
| nov17 | 18-Nov-1997 10:24 | 12K | |
| only-once | 20-Nov-1997 09:51 | 2.0K | |
| packaging-adjustments | 21-Oct-1997 08:40 | 922 | |
| same-model | 31-Oct-1997 15:29 | 13K | |
| temp | 24-Nov-1997 13:51 | 12K | |