checking in goal file
authorbdemsky <bdemsky>
Mon, 31 Jul 2006 08:07:53 +0000 (08:07 +0000)
committerbdemsky <bdemsky>
Mon, 31 Jul 2006 08:07:53 +0000 (08:07 +0000)
commit570562cf2a0fd15ef521a9072e3d3652272f9615
tree64eb896985112a416ef82d3ee4fc7a36a55da9e2
parentbf6f89740efc60f11223bf6d284d8eed533dace5
checking in goal file
Robust/src/Tests/output/IncTest.output.goal [new file with mode: 0644]