theory Affine_Arithmetic imports Affine_Code Intersection Straight_Line_Program Ex_Affine_Approximation Ex_Ineqs Ex_Inter begin end