radu/LaTeX-examples: More than 570 examples for the usage of LaTeX. @ 78b9ac5883d9ec31360f8ff4d6060eb1d578fdb3

Martin Thoma 78b9ac5883 some more steps to completion of this proof		пре 12 година
..
Makefile	24301f9450 added draft for proof of correctnes for pogo algorithm	пре 12 година
proof-of-correctness-pogo.pdf	78b9ac5883 some more steps to completion of this proof	пре 12 година
proof-of-correctness-pogo.tex	78b9ac5883 some more steps to completion of this proof	пре 12 година