added new proof book and teaching material
added new proof book and teaching material
Merge branch 'kel/tmp2'