Reimplemented some operations on "code lemma" table to avoid that code lemmas get lost during merge.
Reimplemented some operations on "code lemma" table to avoid that code
lemmas get lost during merge.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle