added case_conclusion attribute; added coinduct method/attribute; induct method: definsts/fixing/taking; tuned;
added case_conclusion attribute;
added coinduct method/attribute;
induct method: definsts/fixing/taking;
tuned;

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