accomodate change of TheoryDataFun; accomodate identification of type Sign.sg and theory; proper treatment of Pure session;
accomodate change of TheoryDataFun;
accomodate identification of type Sign.sg and theory;
proper treatment of Pure session;

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