![[ICO]](/icons/blank.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| foreach.pl | 1988-04-14 21:25 | 3.3K | |
| arc3.pl | 1988-04-14 22:34 | 7.9K | |
| cc.pl | 1988-04-14 22:50 | 1.4K | |
| ctypes.pl | 1988-04-14 23:03 | 2.5K | |
| dec10.pl | 1988-04-14 23:08 | 1.7K | |
| decons.pl | 1988-04-14 23:08 | 3.6K | |
| distfix.ex | 1988-04-14 23:14 | 2.0K | |
| distfix.pl | 1988-04-14 23:14 | 17K | |
| expand.pl | 1988-04-14 23:21 | 3.4K | |
| for_each.pl | 1988-04-14 23:26 | 3.3K | |
| gensym.pl | 1988-04-14 23:27 | 1.8K | |
| idback.def | 1988-04-14 23:38 | 1.4K | |
| idback.pl | 1988-04-14 23:38 | 6.9K | |
| imisce.pl | 1988-04-14 23:40 | 1.0K | |
| invoca.pl | 1988-04-14 23:41 | 1.7K | |
| module.pl | 1988-04-15 00:12 | 16K | |
| not.hlp | 1988-04-15 00:20 | 1.1K | |
| not.pl | 1988-04-15 00:21 | 3.9K | |
| occur.pl | 1988-04-15 00:25 | 3.9K | |
| rdtok.gen | 1988-04-15 00:48 | 13K | |
| rdtok.pl | 1988-04-15 00:51 | 3.1K | |
| read.pl | 1988-04-15 00:52 | 11K | |
| system.pl | 1988-04-15 01:07 | 4.1K | |
| system_preds.pl | 1988-04-15 01:08 | 2.2K | |
| toplevel.pl | 1988-04-15 01:14 | 12K | |
| unfold.pl | 1988-04-15 01:23 | 7.0K | |
| update.pl | 1988-04-15 01:25 | 3.0K | |