![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Makefile | 1990-12-02 20:50 | 1.7K | |
| READ-ME | 1989-12-29 11:53 | 1.5K | |
| bags.doc | 1990-04-10 14:41 | 27K | |
| bags.ml | 1991-01-25 14:10 | 1.9K | |
| bags.th.saved | 1989-12-29 11:53 | 28K | |
| load_bags.ml | 1991-01-27 16:26 | 1.3K | |
| mk_bags.ml | 1991-10-07 19:45 | 26K | |
| mk_more_arithmetic.ml | 1991-01-25 14:16 | 3.4K | |