Index of /nchou/p/wwt/extpapers/sequent

	Name	Last modified	Size	Description
	Parent Directory		-
	numaq-isca.ps	1996-02-26 21:41	828K
	numaq.doc	1995-10-25 19:14	1.0M
	numaq.ps.gz	1995-10-25 22:15	706K
	numaq.txt	1995-10-25 19:26	22K
	numaq2.ps.gz	1995-11-01 16:21	706K