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

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