![[ICO]](/icons-sys/blank.png){kind=icon}
![[PARENTDIR]](/icons-sys/back.png){kind=icon}
![[ ]](/icons-sys/unknown.png){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| anchor.ml | 1999-11-02 15:43 | 45 |
| anchor.sig.ml | 1999-10-26 11:09 | 28 |
| anchor.sig.sml | 2000-02-16 12:12 | 44 |
| anchor.sml | 2000-02-16 12:12 | 102 |
| anchortable.sig.sml | 2000-01-25 22:55 | 51 |
| anchortable.sml | 2000-01-26 20:32 | 323 |
| functionfromanchoridtoanchor.sig.sml | 2000-01-25 16:34 | 73 |
| functionfromanchoridtoanchor.sml | 2000-01-25 16:34 | 477 |