Code Editor : theorem.hyp