term_pat vs. prop_pat; added bind_propp(_i); assume: propp;
term_pat vs. prop_pat;
added bind_propp(_i);
assume: propp;

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