renamed cond_with_path to cond_add_path (add to front); improved with_path(s) (add to rear);
renamed cond_with_path to cond_add_path (add to front);
improved with_path(s) (add to rear);

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