renamed |-> <-| <-> to Parse/PrintRule;
renamed |-> <-| <-> to Parse/PrintRule;

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