![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Abstracts.txt | 16-Aug-1994 14:10 | 6.6K | |
| IWMM92.tar.gz | 10-Sep-1994 21:46 | 95K | |
| JapLPC91.tar.gz | 10-Sep-1994 21:45 | 57K | |
| LPwithContinuations_LOPSTR94.ps | 25-Sep-1994 10:31 | 144K | |
| LowLevelIssues_JFPL94.ps | 16-Aug-1994 13:48 | 182K | |
| PLILP90.tar.gz | 10-Sep-1994 21:45 | 62K | |
| RCLP91.tar.gz | 10-Sep-1994 21:45 | 51K | |
| TR.93.1-DelphiLemmas.tar.gz | 10-Sep-1994 21:43 | 69K | |
| TR.93.2-PrologToC-mapping.tar.gz | 10-Sep-1994 21:42 | 62K | |
| TR.93.3-CompactTermsInBinWam.tar.gz | 10-Sep-1994 21:41 | 73K | |
| TR.94.1-C-ification.ps | 25-Sep-1994 10:09 | 283K | |
| TR.95.2-HiddenAccumultorsAndLinImpl.tar.gz | 25-Apr-1995 18:38 | 69K | |
| TR.95.3-NLwithHYPO.tar.gz | 25-Apr-1995 18:42 | 63K | |
| TclTk_ICLP94_EnvWshop.ps | 20-Aug-1994 06:43 | 109K | |
| TechRep92-2.tar.gz | 10-Sep-1994 21:44 | 15K | |
| TechRep92-3.tar.gz | 10-Sep-1994 21:44 | 16K | |
| TechRep92-4.tar.gz | 10-Sep-1994 21:44 | 13K | |
| TermCompression_PLILP94.ps | 16-Aug-1994 13:52 | 151K | |
| WshopCLP.tar.gz | 10-Sep-1994 21:44 | 29K | |