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

	Name	Last modified	Size
	Parent Directory		-
	README	1994-01-11 00:00	3.2K
	coral.0.1.tar.gz	1993-01-29 00:00	4.6M
	install.chap	1993-10-15 00:00	8.8K
	manual.ps	1993-04-27 02:00	588K