3 commits

Author	SHA1	Message	Date
Martin Thoma	78b9ac5883	some more steps to completion of this proof	2013-05-18 13:40:50 +02:00
Martin Thoma	7847744f27	proof that we dont move too much	2013-05-18 12:49:47 +02:00
Martin Thoma	24301f9450	added draft for proof of correctnes for pogo algorithm	2013-05-18 11:20:00 +02:00