Index of /pub/automated.reasoning

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