no longer open PolyML -- to avoid surprises within the global name space; recovered some important PolyML bindings (NB: print and makestring cannot be rebound without loosing infinite overloading);
no longer open PolyML -- to avoid surprises within the global name space;
recovered some important PolyML bindings (NB: print and makestring cannot be rebound without loosing infinite overloading);

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