![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| DocCollection.class | 2000-01-05 15:59 | 16K |
| DocCollectionNode.class | 2000-01-05 16:00 | 3.6K |
| KeywordIndex.class | 2000-01-05 16:00 | 7.8K |
| Query.class | 2000-01-05 16:00 | 3.6K |
| Search.class | 2000-01-05 16:00 | 22K |
| SearchIndex.class | 2000-01-05 16:00 | 4.7K |
| SearchObserver.class | 2000-01-05 16:00 | 439 |