constrain: canonical argument order; removed obsolete logicT;
constrain: canonical argument order;
removed obsolete logicT;

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