Index of /pub/automated.reasoning/
../
shorter/ 18-Dec-1992 20:29 -
news23.ps.Z 21-Jul-1993 20:30 62K
news23.tex 21-Jul-1993 20:30 39K
news24.ps.Z 17-Feb-1994 22:09 50K
news24.tex 17-Feb-1994 22:09 25K
news25.ps.Z 17-Feb-1994 22:09 60K
news25.tex 17-Feb-1994 22:09 37K
news26.ps.Z 27-Jun-1994 14:25 50K
news26.tex 27-Jun-1994 14:24 30K
news27.ps.Z 02-Nov-1994 18:06 55K
news27.tex 02-Nov-1994 18:06 33K
news28.ps.Z 24-Jan-1995 17:11 59K
news28.tex 24-Jan-1995 17:07 35K
news29.ps.Z 15-May-1995 15:12 43K
news29.tex 15-May-1995 15:17 24K
news30.ps.Z 15-Aug-1995 19:28 75K
news30.tex 15-Aug-1995 19:28 52K
news31.ps.Z 06-Dec-1995 19:15 68K
news31.tex 06-Dec-1995 19:14 45K
news32.ps.Z 01-Apr-1996 22:44 40K
news32.tex 01-Apr-1996 22:44 20K
news33.ps.Z 08-Jul-1996 15:14 30K
news33.tex 10-Jul-1996 14:44 15K
news34.ps.Z 22-Oct-1996 17:00 74K
news34.tex 29-Oct-1996 16:03 47K
news35.ps.Z 12-Jan-1997 20:17 43K
news35.tex 27-Jan-1997 15:39 23K
news36.aux 14-May-1997 22:10 886
news36.dvi 14-May-1997 22:10 45K
news36.log 14-May-1997 22:10 1073
news36.ps 14-May-1997 21:55 292K
news36.ps.Z 08-May-1997 15:42 96K
news36.tex 14-May-1997 22:09 37K
news36backup.tex 14-May-1997 21:36 37K
prop2.eps 14-May-1997 21:41 88K
x2a.eps 14-May-1997 21:42 90K