rwxr-xr-x 102/10 0 Dec 21 16:36 1993 papers/ rwxr-xr-x 102/10 0 Apr 2 18:52 1993 papers/PLILP90/ rw-r--r-- 102/10 49152 Nov 9 10:17 1990 papers/PLILP90/lin.doc rw-r--r-- 102/10 1536 Jun 23 01:17 1990 papers/PLILP90/lin.sty rw-r--r-- 102/10 129387 Mar 21 01:24 1992 papers/PLILP90/plilp90.ps rw-r--r-- 102/10 46166 Mar 10 14:36 1992 papers/PLILP90/plilp90.txt rwxr-xr-x 102/10 0 Apr 2 18:04 1993 papers/IWMM92/ rw-r--r-- 102/10 36702 Jul 13 10:46 1992 papers/IWMM92/eco.tex rw-r--r-- 102/10 25726 Jul 13 09:55 1992 papers/IWMM92/llncs.sty rw-r--r-- 102/10 234116 Jul 13 16:14 1992 papers/IWMM92/eco.ps rw-r--r-- 102/10 68 Jul 13 16:27 1992 papers/IWMM92/README rw-r--r-- 102/10 45496 Jul 13 15:36 1992 papers/IWMM92/eco.dvi rwxr-xr-x 102/10 0 Apr 2 18:52 1993 papers/RCLP91/ rw-r--r-- 102/10 38400 Feb 22 21:52 1992 papers/RCLP91/russia.doc rw-r--r-- 102/10 2048 Feb 22 21:52 1992 papers/RCLP91/russia.sty rw-r--r-- 102/10 99040 Mar 21 01:25 1992 papers/RCLP91/russia.ps rw-r--r-- 102/10 36992 Mar 10 14:06 1992 papers/RCLP91/russia.txt rwxr-xr-x 102/10 0 Apr 3 17:47 1993 papers/WshopCLP/ rw-r--r-- 102/1 99 Apr 3 17:50 1993 papers/WshopCLP/README rw-r--r-- 102/10 71620 Apr 3 17:42 1993 papers/WshopCLP/lparis.dvi rwxr-xr-x 102/10 0 Apr 2 18:53 1993 papers/JapLPC91/ rw-r--r-- 102/10 41984 Feb 22 21:51 1992 papers/JapLPC91/ltokyo.doc rw-r--r-- 102/10 2048 Feb 22 21:51 1992 papers/JapLPC91/ltokyo.sty rw-r--r-- 102/10 117661 Mar 21 01:24 1992 papers/JapLPC91/ltokyo.ps rw-r--r-- 102/10 41863 Mar 10 14:35 1992 papers/JapLPC91/ltokyo.txt rwxr-xr-x 102/10 0 Sep 30 14:58 1993 papers/TechRep92-2/ rw-r--r-- 102/10 36327 May 27 08:34 1993 papers/TechRep92-2/art.tex rw-r--r-- 102/10 3357 Mar 4 21:05 1992 papers/TechRep92-2/biblio.bib rw-r--r-- 102/10 64 Jul 13 16:25 1992 papers/TechRep92-2/README rw-r--r-- 102/10 293 Mar 4 23:59 1992 papers/TechRep92-2/makefile rwxr-xr-x 102/1 0 Apr 3 17:54 1993 papers/TechRep92-3/ rw-r--r-- 102/10 45801 Apr 2 18:53 1993 papers/TechRep92-3/TR92-03.tex rw-r--r-- 102/1 64 Apr 3 17:54 1993 papers/TechRep92-3/README rwxr-xr-x 102/1 0 Apr 3 17:54 1993 papers/TechRep92-4/ rw-r--r-- 102/10 34601 Apr 2 18:53 1993 papers/TechRep92-4/TR92-04.tex rw-r--r-- 102/1 64 Apr 3 17:54 1993 papers/TechRep92-4/README rwxr-xr-x 102/1 0 Nov 24 00:43 1993 papers/TR.93.1-DelphiLemmas/ rw-r--r-- 102/1 64 May 11 09:41 1993 papers/TR.93.1-DelphiLemmas/README rw-r--r-- 102/1 70017 May 11 09:37 1993 papers/TR.93.1-DelphiLemmas/delphi_lemmas.ps.Z rwxr-xr-x 102/1 0 Nov 24 00:43 1993 papers/TR.93.2-PrologToC-mapping/ rw-r--r-- 102/1 64 May 11 09:53 1993 papers/TR.93.2-PrologToC-mapping/README rw-r--r-- 102/1 271888 May 11 09:49 1993 papers/TR.93.2-PrologToC-mapping/PrologToC.ps rwxr-xr-x 102/10 0 Dec 22 12:57 1993 papers/TR.93.3-CompactTermsInBinWam/ rw-r--r-- 102/10 64 Dec 22 12:57 1993 papers/TR.93.3-CompactTermsInBinWam/README rw-r--r-- 102/10 74189 Dec 22 12:56 1993 papers/TR.93.3-CompactTermsInBinWam/TermCompInBinWam.ps.Z