![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| boaz | 17-May-1997 23:05 | 1.2K | |
| johans-message | 10-May-1997 14:08 | 2.5K | |
| lieber-may15 | 04-Jun-1997 16:03 | 2.3K | |
| lieber-may30 | 04-Jun-1997 16:09 | 1.7K | |
| program.beh | 10-May-1997 13:52 | 125 | |
| program.cd | 10-May-1997 13:52 | 920 | |
| program.input | 10-May-1997 13:52 | 2.0K | |
| sources | 18-May-1997 22:20 | 1.7K | |
| strategy-syntax | 17-May-1997 07:37 | 1.3K | |