Index of /Software/XSB/packages/altCDF/mytest/cdftest1

	Name	Last modified	Size	Description
	Parent Directory		-
	initialization_file.P	2012-11-01 12:13	90
	cdf_intensional.P	2012-11-01 12:13	352
	cdf_extensional.P	2012-11-01 12:13	3.3K