add content for implementation section
remove sec_theory.tex