removed garbage; adapted to new ThySyn (interface for 'user sections');
removed garbage;
adapted to new ThySyn (interface for 'user sections');

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