Rippling is a type of rewriting developed in inductive theorem
proving for removing differences between terms; the induction
conclusion is annotated to mark its differences from the induction
hypothesis and rippling ...