Index of /pub/automated.reasoning

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