Added automatic proof and figures for thesis' examples.
Fixed notes.