Fixed problem with induct_conj_curry: variable C should have type prop.
Fixed problem with induct_conj_curry: variable C should have type prop.

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