K 25
svn:wc:ra_dav:version-url
V 54
/svn/mmazurek/!svn/ver/359/class/712/DLprover/examples
END
one_lane_simple-badhints.dl
K 25
svn:wc:ra_dav:version-url
V 82
/svn/mmazurek/!svn/ver/348/class/712/DLprover/examples/one_lane_simple-badhints.dl
END
safety-lemma.dl
K 25
svn:wc:ra_dav:version-url
V 70
/svn/mmazurek/!svn/ver/338/class/712/DLprover/examples/safety-lemma.dl
END
sarah.key
K 25
svn:wc:ra_dav:version-url
V 64
/svn/mmazurek/!svn/ver/322/class/712/DLprover/examples/sarah.key
END
one_lane_simple.dl
K 25
svn:wc:ra_dav:version-url
V 73
/svn/mmazurek/!svn/ver/357/class/712/DLprover/examples/one_lane_simple.dl
END
arith-safety-lemma.dl
K 25
svn:wc:ra_dav:version-url
V 76
/svn/mmazurek/!svn/ver/335/class/712/DLprover/examples/arith-safety-lemma.dl
END
simple.dl
K 25
svn:wc:ra_dav:version-url
V 63
/svn/mmazurek/!svn/ver/52/class/712/DLprover/examples/simple.dl
END
distributed-car-essentials.dl
K 25
svn:wc:ra_dav:version-url
V 84
/svn/mmazurek/!svn/ver/339/class/712/DLprover/examples/distributed-car-essentials.dl
END
one_lane_simple-arith.dl
K 25
svn:wc:ra_dav:version-url
V 79
/svn/mmazurek/!svn/ver/344/class/712/DLprover/examples/one_lane_simple-arith.dl
END
bouncingball_okhints.dl
K 25
svn:wc:ra_dav:version-url
V 78
/svn/mmazurek/!svn/ver/216/class/712/DLprover/examples/bouncingball_okhints.dl
END
sarah.dl
K 25
svn:wc:ra_dav:version-url
V 63
/svn/mmazurek/!svn/ver/357/class/712/DLprover/examples/sarah.dl
END
bouncingball.dl
K 25
svn:wc:ra_dav:version-url
V 69
/svn/mmazurek/!svn/ver/53/class/712/DLprover/examples/bouncingball.dl
END
water_tank.dl
K 25
svn:wc:ra_dav:version-url
V 68
/svn/mmazurek/!svn/ver/131/class/712/DLprover/examples/water_tank.dl
END
switchstab-param-badhints.dl
K 25
svn:wc:ra_dav:version-url
V 83
/svn/mmazurek/!svn/ver/359/class/712/DLprover/examples/switchstab-param-badhints.dl
END
to_prove_one_bf.dl
K 25
svn:wc:ra_dav:version-url
V 73
/svn/mmazurek/!svn/ver/357/class/712/DLprover/examples/to_prove_one_bf.dl
END
ETCS-essentials.dl
K 25
svn:wc:ra_dav:version-url
V 73
/svn/mmazurek/!svn/ver/323/class/712/DLprover/examples/ETCS-essentials.dl
END
bouncingball_solve.dl
K 25
svn:wc:ra_dav:version-url
V 76
/svn/mmazurek/!svn/ver/321/class/712/DLprover/examples/bouncingball_solve.dl
END
one_lane_simple0.dl
K 25
svn:wc:ra_dav:version-url
V 74
/svn/mmazurek/!svn/ver/357/class/712/DLprover/examples/one_lane_simple0.dl
END
switchstab-param.dl
K 25
svn:wc:ra_dav:version-url
V 74
/svn/mmazurek/!svn/ver/340/class/712/DLprover/examples/switchstab-param.dl
END
TRM-essentials.dl
K 25
svn:wc:ra_dav:version-url
V 72
/svn/mmazurek/!svn/ver/355/class/712/DLprover/examples/TRM-essentials.dl
END
TRM-essentials-3.dl
K 25
svn:wc:ra_dav:version-url
V 74
/svn/mmazurek/!svn/ver/318/class/712/DLprover/examples/TRM-essentials-3.dl
END
bouncingball_badhints.dl
K 25
svn:wc:ra_dav:version-url
V 79
/svn/mmazurek/!svn/ver/129/class/712/DLprover/examples/bouncingball_badhints.dl
END
TRM-essentials-4.dl
K 25
svn:wc:ra_dav:version-url
V 74
/svn/mmazurek/!svn/ver/318/class/712/DLprover/examples/TRM-essentials-4.dl
END
water_tank_badhints.dl
K 25
svn:wc:ra_dav:version-url
V 77
/svn/mmazurek/!svn/ver/136/class/712/DLprover/examples/water_tank_badhints.dl
END
distributed-car-essentials0.dl
K 25
svn:wc:ra_dav:version-url
V 85
/svn/mmazurek/!svn/ver/337/class/712/DLprover/examples/distributed-car-essentials0.dl
END
safety-lemma-badhints.dl
K 25
svn:wc:ra_dav:version-url
V 79
/svn/mmazurek/!svn/ver/338/class/712/DLprover/examples/safety-lemma-badhints.dl
END
