Index of /prolog/tools

	Name	Last modified	Size	Description
	Parent Directory		-
	files/	14-Jul-1995 19:03	-
	tools.descr	14-Jul-1995 09:55	13K
	tools.pre	14-Jul-1995 09:55	1.2K
	tools.tar.gz	14-Jul-1995 19:14	268K