Index of /~nokie/classes/320/gnatprovedemo/stack

	Name	Last modified	Size	Description
	Parent Directory		-
	client.adb	2012-12-07 19:21	541
	gnatprove.out	2012-12-07 19:27	609
	gnatprove/	2012-12-07 10:54	-
	intstackpkg.adb	2012-12-07 10:52	912
	intstackpkg.ads	2012-12-07 19:27	741
	intstackpkgclient	2012-12-07 10:57	485K
	intstackpkgclient.adb	2012-12-07 19:21	563
	obj/	2012-12-07 14:56	-
	stacks.gpr	2012-12-07 10:55	215