10

dir
3251
svn://rumster@localhost/msagiv/trunk/tvla3/tests/tvla
svn://rumster@localhost/msagiv



2007-10-31T09:30:24.000000Z
1829
rumster














75ec75b9-4e0e-46af-b67c-fb7ce69e52ca

predicates
dir

core
dir

RunnerTest.java
file




2009-01-05T21:14:15.500000Z
00c4de88d3241d0eb205d06c5b660a0c
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















4123

formulae
dir

util
dir

