Martin Thoma e9574df049 misc		2013-05-18 13:44:47 +02:00
..
Makefile	added draft for proof of correctnes for pogo algorithm	2013-05-18 11:20:00 +02:00
proof-of-correctness-pogo.pdf	misc	2013-05-18 13:44:47 +02:00
proof-of-correctness-pogo.tex	some more steps to completion of this proof	2013-05-18 13:40:50 +02:00