Index of /ftp/hvg/hol88/contrib/icl-taut

	Name	Last modified	Size	Description

	Parent Directory		-
	Makefile	1992-12-04 12:51	1.5K
	READ-ME	1992-12-04 12:51	4.0K
	taut_rules.ml	1992-12-04 12:51	5.7K

Apache/2.4.52 (Ubuntu) Server at www.ftp.cl.cam.ac.uk Port 80