![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/p.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| DIFFS/ | 24-Aug-1993 03:24 | - | |
| are.pl | 28-Nov-1991 11:57 | 1.5K | |
| clausify.pl | 17-Oct-1985 11:23 | 4.8K | |
| showterm.pl | 24-Aug-1993 03:23 | 1.4K | |
| showtree.pl | 24-Aug-1993 03:24 | 1.3K | |
| time.pl | 17-Oct-1985 11:24 | 818 | |
| undefs.pl | 17-Oct-1985 11:24 | 2.5K | |
| unknown.pl | 14-Jul-1993 18:20 | 3.8K | |