added extend_trfunsT; removed test: prtabs_of; removed chartrans;
added extend_trfunsT;
removed test: prtabs_of;
removed chartrans;

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