10

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



2008-11-04T20:36:07.000000Z
2833
tla














75ec75b9-4e0e-46af-b67c-fb7ce69e52ca

prod.tvs
file




2009-01-05T21:17:06.812500Z
e9df8fe192d0c8e8eea73a460e2656aa
2008-11-04T10:41:10.000000Z
2828
tla
has-props




















446

bounded
dir

prod_pred.tvp
file




2009-01-05T21:17:06.828125Z
dad85b4aa12c82b9cd214b53454ad7c2
2008-11-04T13:20:27.000000Z
2831
tla
has-props




















1948

prod_stat.tvp
file




2009-01-05T21:17:06.828125Z
2d28cd5e86d19098a27d304afd3e7608
2008-11-04T13:20:27.000000Z
2831
tla
has-props




















6533

prod.tvp
file




2009-01-05T21:17:06.843750Z
08d9cd346b1f70ba5acacd84e35a077b
2008-11-04T13:20:27.000000Z
2831
tla
has-props




















1869

