![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| cache.mod | 07-Nov-1998 15:06 | 146 | |
| defs.mod | 05-Nov-1998 18:37 | 1.4K | |
| displays.mod | 01-Nov-1998 07:45 | 659 | |
| go | 06-Nov-1998 10:06 | 679 | |
| induction.mod | 06-Nov-1998 14:37 | 1.0K | |
| lj.mod | 06-Nov-1998 15:04 | 1.1K | |
| nats.mod | 01-Nov-1998 16:56 | 203 | |
| old/ | 20-Dec-2000 02:01 | - | |
| rules.mod | 01-Nov-1998 08:42 | 3.6K | |
| top.mod | 06-Nov-1998 15:51 | 1.4K | |
| toplevel.mod | 07-Nov-1998 12:44 | 674 | |