Index of /afs/cs/project/ai-repository/ai/areas/reasonng/atp/systems/dtp/v24

	Name	Last modified	Size	Description
	Parent Directory		-
	0.lst	1995-06-13 21:28	58
	dtp.ltv	1995-06-13 21:28	2.1K
	dtp.tgz	1995-06-13 21:28	64K
	logic.ltv	1995-06-13 21:28	771
	logic.tgz	1995-06-13 21:28	15K
	manual.pgz	1995-06-13 21:28	68K