![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[ ]](/icons/tar.gif){kind=icon}
![[ ]](/icons/hand.right.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| ontic.tar.Z | 1992-11-02 11:08 | 2.6M | |
| ontic-induction.ps | 1993-07-16 10:54 | 214K | |
| parse.tar | 1993-06-24 11:28 | 136K | |
| ontic-manual.ps | 1993-04-15 19:04 | 16K | |
| undo.lisp.Z | 1993-02-09 15:03 | 2.5K | |
| README | 1992-11-02 11:10 | 1.4K | |
| README-undo.lisp | 1993-02-09 15:10 | 182 | |