rfindler/395-2013 — pull request #3 by maxsnew (2013-11-27 06:50:17+00:00)
Title: Clean up Insert Complexity Proof

Remove uses of CpdtTactics and clean up a buncha proofs/reorganize lemmas.