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