(* Author: Tobias Nipkow *) subsection "Parity Analysis" theory Abs_Int1_parity imports Abs_Int1 begin