renamed Abs_Node_inject to Abs_Node_inj;
renamed Abs_Node_inject to Abs_Node_inj;

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