If the induction principle cannot be solved automatically, fall back to interactive proof
If the induction principle cannot be solved automatically, fall back to
interactive proof

mattam82/Coq-Equations,mattam82/Coq-Equations