added unfolding(_i); renamed using_thmss(_i) to using_i;
added unfolding(_i);
renamed using_thmss(_i) to using_i;

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