Index of /Software/XSB/packages/altCDF/cdfpt

	Name	Last modified	Size	Description
	Parent Directory		-
	cdf_extensional.P	2012-11-01 12:13	637
	cdf_intensional.P	2012-11-01 12:13	2.2K