Commit Verlauf

Autor SHA1 Nachricht Datum
  Martin Thoma 24301f9450 added draft for proof of correctnes for pogo algorithm vor 12 Jahren