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

	Name	Last modified	Size	Description
	Parent Directory		-
	after_tax.adb	2012-11-17 22:25	161
	after_tax.ads	2012-11-17 22:25	163
	gnatprove.out	2012-12-07 10:31	469
	gnatprove/	2012-12-07 10:31	-
	taxes.gpr	2012-11-17 22:24	157