Code modularization

fixtoc deprecated
added definitions propositions and examples .tex files