no longer support isa-FOO interface; removed Isamode; tuned;
no longer support isa-FOO interface;
removed Isamode;
tuned;

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