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

	Name	Last modified	Size
	Parent Directory		-
	spf/	1999-11-19 02:01	-
	elim	1999-05-18 22:27	3.7K
	embed.tar.gz	1996-11-18 01:00	3.4K
	srcchk	1995-11-20 11:45	6.5K