Index of /ftp/hvg/hol88/contrib/reduct

	Name	Last modified	Size	Description
	Parent Directory		-
	rstc.sml	1993-05-31 13:13	39K
	rstc.ml	1993-05-31 13:04	36K
	reduct.sml	1993-05-31 13:04	24K
	reduct.ml	1993-05-31 13:04	22K
	READ-ME	1993-05-31 13:27	2.5K