Index of /homes/apm/courses/CS490SoftwareTestingSpring2011/projectDescriptions/MicrosoftProjectSpring2011/SpecExplorerTutorials/ExampleCalc2010/SpecExplorer1/Model

	Name	Last modified	Size	Description
	Parent Directory		-
	ArithmeticRules.cs	2010-06-23 18:19	10K
	Config.cord	2010-06-30 15:42	14K
	ExplorationResults/	2010-07-05 22:14	-
	Model.csproj	2010-06-15 14:43	2.9K
	Model.csproj.user	2010-06-05 09:28	208
	SecurityRules.cs	2010-06-24 14:31	4.1K
	Service References/	2010-06-05 08:18	-