discontinued XML.cache experiment -- Poly/ML 5.5.0 RTS does online sharing better;
discontinued XML.cache experiment -- Poly/ML 5.5.0 RTS does online sharing better;

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