replaced id by idt; added parse rules for --> and *; removed ndependent_tr;
replaced id by idt;
added parse rules for --> and *;
removed ndependent_tr;

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