Index of /pub/Otter/www-misc

	Name	Last modified	Size	Description
	Parent Directory		-
	otter305-tptp210.txt.gz	1998-10-12 09:41	36K
	first-order-g.tar	1998-08-28 12:58	63K
	ortholattice/	1998-02-11 12:08	-
	ortholattice-revised.ps.gz	1998-01-14 10:49	39K
	otter305b-tptp200.txt.gz	1997-08-18 16:46	36K
	incarnations.ps.gz	1997-05-12 16:35	37K
	java-proof-1.tar.gz	1997-05-06 11:00	92K
	index-jar-preprint.ps.gz	1997-04-08 16:16	69K
	robbins-jar-final.ps.gz	1997-03-04 10:19	45K
	robbins-rta.ps.gz	1997-03-03 22:35	29K
	robbins-harpers.ps	1997-03-01 21:09	74K
	llncs.ps.gz	1997-02-10 15:14	28K
	llncs.dvi	1997-02-10 15:14	19K
	burris-robbins-prf.ps.gz	1997-01-17 15:02	18K
	robbins-d1.ps.gz	1996-12-18 12:51	42K
	otter304-tptp121.txt.gz	1996-06-27 12:02	28K
	otter3-tptp111.txt.Z	1995-12-12 08:45	32K
	anldp.ps.Z	1995-02-17 16:25	64K
	steam.ps.Z	1995-02-17 16:14	6.3K
	sax.ps.Z	1995-02-17 16:14	7.1K
	map-mccune.eps	1991-07-30 13:59	20K