Index of /pub/Otter/misc

	Name	Last modified	Size	Description
	Parent Directory		-
	34-annotated-inputs.tar.gz	1996-01-31 23:58	4.9K
	inputs-for-ilf.tar.gz	1995-11-15 09:54	12K
	lyon.tar.gz	1997-01-13 09:57	204K
	super-loop.tar	1998-09-17 15:30	24K