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

	Name	Last modified	Size
	Parent Directory		-
	README	1993-07-03 02:00	3.4K
	install.chap	1993-07-03 02:00	10K
	coral.1.nobin.tar.gz	1993-04-26 02:00	1.9M