added parse rules for -> and *; removed ndependent_tr;
added parse rules for -> and *;
removed ndependent_tr;

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