Index of /mirror/archive/ftp.sunet.se/pub/databases/deductive/coral/coral1.1

	Name	Last modified	Size
	Parent Directory		-
	README	1994-12-07 14:13	3.7K
	coral.1.1.1.nobin.tar.gz	1995-02-11 00:00	1.2M
	coral.1.1.nobin.tar.gz	1994-12-27 00:00	2.7M
	install.chap	1994-06-15 02:00	10K