10

dir
3251
svn://rumster@localhost/msagiv/trunk/tvla3/examples/concurrent/readers_writers
svn://rumster@localhost/msagiv



2007-11-04T09:20:07.000000Z
1876
tla
has-props













75ec75b9-4e0e-46af-b67c-fb7ce69e52ca

bounded
dir

actions.tvm
file




2009-01-05T21:16:33.750000Z
608fa06a1c1f45c081f1c1e0458401d3
2007-10-28T10:28:24.000000Z
1812
rumster
has-props




















1740

problem1.tvm
file




2009-01-05T21:16:33.750000Z
504c416a2873a1a68cab51f8b9279a9a
2007-11-04T09:20:07.000000Z
1876
tla
has-props




















1864

problem2.tvm
file




2009-01-05T21:16:33.765625Z
f169889dd10342560a9596c36ff6beba
2007-10-29T13:30:19.000000Z
1815
rumster
has-props




















3010

seq
dir

predicates.tvm
file




2009-01-05T21:16:33.796875Z
b486904be0867a21f152d80fcd4d4a3a
2007-10-29T13:30:19.000000Z
1815
rumster
has-props




















1029

problem1.properties
file




2009-01-05T21:16:33.812500Z
341d8c46c413cd9765a1b819b660ea55
2007-10-29T13:33:41.000000Z
1817
rumster
has-props




















50

problem1.tvs
file




2009-01-05T21:16:33.828125Z
35eddd44d5dbedce34c159dd7df8fbc7
2007-10-29T13:30:19.000000Z
1815
rumster
has-props




















517

.cvsignore
file




2009-01-05T21:16:33.828125Z
f9a8eefc4e3cb29e6c0ff76c70bb7357
2007-10-29T13:30:19.000000Z
1815
rumster
has-props




















23

problem2.properties
file




2009-01-05T21:16:33.859375Z
341d8c46c413cd9765a1b819b660ea55
2007-10-29T13:33:41.000000Z
1817
rumster
has-props




















50

problem2.tvs
file




2009-01-05T21:16:33.859375Z
39207e63f7534c2b92d87e341a312408
2007-10-29T13:30:19.000000Z
1815
rumster
has-props




















1144

