K 25
svn:wc:ra_dav:version-url
V 52
/svn/mmazurek/!svn/ver/312/class/712/DLprover/graphs
END
bouncingball_badhints.dot
K 25
svn:wc:ra_dav:version-url
V 78
/svn/mmazurek/!svn/ver/205/class/712/DLprover/graphs/bouncingball_badhints.dot
END
bouncingball.dot
K 25
svn:wc:ra_dav:version-url
V 69
/svn/mmazurek/!svn/ver/207/class/712/DLprover/graphs/bouncingball.dot
END
simple.dot
K 25
svn:wc:ra_dav:version-url
V 63
/svn/mmazurek/!svn/ver/312/class/712/DLprover/graphs/simple.dot
END
