10

dir
3251
svn://rumster@localhost/msagiv/trunk/tvla3/src/tvla/iawp/tp/base
svn://rumster@localhost/msagiv



2007-10-16T13:00:08.000000Z
1780
rumster














75ec75b9-4e0e-46af-b67c-fb7ce69e52ca

AbstractTheoremProver.java
file




2009-01-05T21:15:43.796875Z
6b2cb48ad9efb83472ea052862a32254
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















8935

