10

dir
3251
svn://rumster@localhost/msagiv/trunk/tvla3/examples/decomposition/linearization_stack
svn://rumster@localhost/msagiv



2008-05-08T04:53:32.000000Z
2564
tla














75ec75b9-4e0e-46af-b67c-fb7ce69e52ca

stack.properties
file




2009-01-05T21:16:46.218750Z
61fe8d3597992958c3cf6a318eea12ba
2007-11-04T18:53:47.000000Z
1885
tla
has-props




















107

unbounded
dir

stack-prodcons.tvs
file




2009-01-05T21:16:46.234375Z
22df76773b0ba5af68c97f5dfda6c195
2007-11-01T14:15:07.000000Z
1848
rumster
has-props




















1565

stack_pred.tvp
file




2009-01-05T21:16:46.250000Z
b4843f821d60fd61d1890d5c670f94d9
2007-11-13T14:16:30.000000Z
1921
tla
has-props




















2094

stack_stat.tvp
file




2009-01-05T21:16:46.265625Z
e4d9ef8a213f723188fa07450d438b5e
2007-11-25T13:27:06.000000Z
1939
rumster
has-props




















12479

README.txt
file




2009-01-05T21:16:46.281250Z
f12a155a2a995e2687c468eb831e98d1
2007-11-01T16:22:44.000000Z
1850
rumster
has-props




















349

stack-general.tvs
file




2009-01-05T21:16:46.296875Z
0160093a5f29cdacad74213a18b147bb
2007-11-13T14:16:30.000000Z
1921
tla
has-props




















1537

stack.tvp
file




2009-01-05T21:16:46.375000Z
fb3a355e2097643fbaca4b846d0a36e6
2008-03-31T14:40:21.000000Z
2414
tla
has-props




















6836

