Index of /mirror/archive/ftp.sunet.se/pub/databases/deductive/coral/design/inside/other

	Name	Last modified	Size
	Parent Directory		-
	aggregates	1996-05-20 20:07	7.4K
	backtrack	1996-05-20 20:07	3.0K
	lists	1996-05-20 20:07	2.7K
	scc.info	1996-05-20 20:07	913
	size	1996-05-20 20:17	573
	sort_rel	1996-05-20 20:07	684