diff --git a/Old_Packages/Doc23/doc_tex/kernel/Ref/Traits.tex b/Old_Packages/Doc23/doc_tex/kernel/Ref/Traits.tex
deleted file mode 100644
index 9f107e09128..00000000000
--- a/Old_Packages/Doc23/doc_tex/kernel/Ref/Traits.tex
+++ /dev/null
@@ -1,252 +0,0 @@
-\input{Aff_transformation_2.tex}
-\input{Aff_transformation_3.tex}
-\input{are_ordered_along_line.tex}
-\input{are_strictly_ordered_along_line.tex}
-\input{assign.tex}
-\input{Bbox_2.tex}
-\input{Bbox_3.tex}
-\input{Bounded_side.tex}
-\input{Cartesian.tex}
-\input{cartesian_to_homogeneous.tex}
-\input{Circle_2.tex}
-\input{circumcenter.tex}
-\input{CLOCKWISE.tex}
-\input{cmp_dist_to_point.tex}
-\input{cmp_signed_dist_to_line.tex}
-\input{cmp_signed_dist_to_plane.tex}
-\input{COLLINEAR.tex}
-\input{collinear.tex}
-\input{collinear_are_ordered_along_line.tex}
-\input{collinear_are_strictly_ordered_along_line.tex}
-\input{compare_lexicographically_xy.tex}
-\input{compare_lexicographically_xyz.tex}
-\input{compare_x.tex}
-\input{compare_y.tex}
-\input{compare_y_at_x.tex}
-\input{compare_z.tex}
-\input{Comparison_result.tex}
-\input{COPLANAR.tex}
-\input{coplanar.tex}
-\input{coplanar_orientation.tex}
-\input{coplanar_side_of_bounded_circle.tex}
-\input{COUNTERCLOCKWISE.tex}
-\input{cross_product.tex}
-\input{DEGENERATE.tex}
-\input{Direction_2.tex}
-\input{Direction_3.tex}
-\input{do_overlap.tex}
-\input{has_larger_dist_to_point.tex}
-\input{has_larger_signed_dist_to_line.tex}
-\input{has_larger_signed_dist_to_plane.tex}
-\input{has_smaller_dist_to_point.tex}
-\input{has_smaller_signed_dist_to_line.tex}
-\input{has_smaller_signed_dist_to_plane.tex}
-\input{Homogeneous.tex}
-\input{homogeneous_to_cartesian.tex}
-\input{homogeneous_to_quotient_cartesian.tex}
-\input{Identity_transformation.tex}
-\input{Iso_rectangle_2.tex}
-\input{Kernel.tex}
-\input{Kernel_Aff_transformation_2.tex}
-\input{Kernel_Aff_transformation_3.tex}
-\input{Kernel_Are_ordered_along_line_2.tex}
-\input{Kernel_Are_ordered_along_line_3.tex}
-\input{Kernel_Are_strictly_ordered_along_line_2.tex}
-\input{Kernel_Are_strictly_ordered_along_line_3.tex}
-\input{Kernel_Circle_2.tex}
-\input{Kernel_Collinear_2.tex}
-\input{Kernel_Collinear_3.tex}
-\input{Kernel_Collinear_are_ordered_along_line_2.tex}
-\input{Kernel_Collinear_are_ordered_along_line_3.tex}
-\input{Kernel_Collinear_are_strictly_ordered_along_line_2.tex}
-\input{Kernel_Collinear_are_strictly_ordered_along_line_3.tex}
-\input{Kernel_Collinear_has_on_2.tex}
-\input{Kernel_Collinear_has_on_3.tex}
-\input{Kernel_Compare_x_2.tex}
-\input{Kernel_Compare_x_3.tex}
-\input{Kernel_Compare_xy_2.tex}
-\input{Kernel_Compare_xy_3.tex}
-\input{Kernel_Compare_xyz_3.tex}
-\input{Kernel_Compare_y_2.tex}
-\input{Kernel_Compare_y_3.tex}
-\input{Kernel_Compare_y_at_x_2.tex}
-\input{Kernel_Compare_z_3.tex}
-\input{Kernel_Compute_squared_length_2.tex}
-\input{Kernel_Compute_squared_length_3.tex}
-\input{Kernel_Compute_x_at_y_2.tex}
-\input{Kernel_Compute_y_at_x_2.tex}
-\input{Kernel_Construct_aff_transformation_2.tex}
-\input{Kernel_Construct_aff_transformation_3.tex}
-\input{Kernel_Construct_bisector_2.tex}
-\input{Kernel_Construct_circle_2.tex}
-\input{Kernel_Construct_circumcenter_2.tex}
-\input{Kernel_Construct_direction_2.tex}
-\input{Kernel_Construct_direction_3.tex}
-\input{Kernel_Construct_direction_of_line_2.tex}
-\input{Kernel_Construct_direction_of_line_3.tex}
-\input{Kernel_Construct_direction_of_ray_2.tex}
-\input{Kernel_Construct_direction_of_ray_3.tex}
-\input{Kernel_Construct_line_2.tex}
-\input{Kernel_Construct_line_3.tex}
-\input{Kernel_Construct_max_point_2.tex}
-\input{Kernel_Construct_max_point_3.tex}
-\input{Kernel_Construct_midpoint_2.tex}
-\input{Kernel_Construct_midpoint_3.tex}
-\input{Kernel_Construct_min_point_2.tex}
-\input{Kernel_Construct_min_point_3.tex}
-\input{Kernel_Construct_opposite_circle_2.tex}
-\input{Kernel_Construct_opposite_line_2.tex}
-\input{Kernel_Construct_opposite_line_3.tex}
-\input{Kernel_Construct_opposite_plane_3.tex}
-\input{Kernel_Construct_opposite_ray_2.tex}
-\input{Kernel_Construct_opposite_ray_3.tex}
-\input{Kernel_Construct_opposite_segment_2.tex}
-\input{Kernel_Construct_opposite_segment_3.tex}
-\input{Kernel_Construct_opposite_triangle_2.tex}
-%\input{Kernel_Construct_perpendicular_direction_2.tex}
-\input{Kernel_Construct_perpendicular_line_2.tex}
-\input{Kernel_Construct_perpendicular_line_3.tex}
-\input{Kernel_Construct_perpendicular_plane_3.tex}
-\input{Kernel_Construct_perpendicular_vector_2.tex}
-\input{Kernel_Construct_plane_3.tex}
-\input{Kernel_Construct_point_2.tex}
-\input{Kernel_Construct_point_3.tex}
-\input{Kernel_Construct_point_d.tex}
-\input{Kernel_Construct_point_on_2.tex}
-\input{Kernel_Construct_point_on_3.tex}
-\input{Kernel_Construct_ray_2.tex}
-\input{Kernel_Construct_ray_3.tex}
-\input{Kernel_Construct_second_point_on_2.tex}
-\input{Kernel_Construct_second_point_on_3.tex}
-\input{Kernel_Construct_segment_2.tex}
-\input{Kernel_Construct_segment_3.tex}
-\input{Kernel_Construct_source_point_2.tex}
-\input{Kernel_Construct_source_point_3.tex}
-\input{Kernel_Construct_supporting_line_2.tex}
-\input{Kernel_Construct_supporting_line_3.tex}
-\input{Kernel_Construct_supporting_plane_3.tex}
-\input{Kernel_Construct_target_point_2.tex}
-\input{Kernel_Construct_target_point_3.tex}
-\input{Kernel_Construct_tetrahedron_3.tex}
-\input{Kernel_Construct_triangle_2.tex}
-\input{Kernel_Construct_triangle_3.tex}
-\input{Kernel_Construct_vector_2.tex}
-\input{Kernel_Construct_vector_3.tex}
-\input{Kernel_Coplanar_3.tex}
-\input{Kernel_Coplanar_orientation_3.tex}
-\input{Kernel_Direction_2.tex}
-\input{Kernel_Direction_3.tex}
-\input{Kernel_Equal_2.tex}
-\input{Kernel_Equal_3.tex}
-\input{Kernel_Equal_x_2.tex}
-\input{Kernel_Equal_x_3.tex}
-\input{Kernel_Equal_xy_3.tex}
-\input{Kernel_Equal_y_2.tex}
-\input{Kernel_Equal_y_3.tex}
-\input{Kernel_Equal_z_3.tex}
-\input{Kernel_Has_on_2.tex}
-\input{Kernel_Has_on_3.tex}
-\input{Kernel_Has_on_boundary_2.tex}
-\input{Kernel_Has_on_boundary_3.tex}
-\input{Kernel_Has_on_bounded_side_2.tex}
-\input{Kernel_Has_on_bounded_side_3.tex}
-\input{Kernel_Has_on_negative_side_2.tex}
-\input{Kernel_Has_on_negative_side_3.tex}
-\input{Kernel_Has_on_positive_side_2.tex}
-\input{Kernel_Has_on_positive_side_3.tex}
-\input{Kernel_Has_on_unbounded_side_2.tex}
-\input{Kernel_Has_on_unbounded_side_3.tex}
-\input{Kernel_Intersect_2.tex}
-\input{Kernel_Intersect_3.tex}
-\input{Kernel_Is_degenerate_2.tex}
-\input{Kernel_Is_degenerate_3.tex}
-\input{Kernel_Is_horizontal_2.tex}
-\input{Kernel_Is_vertical_2.tex}
-\input{Kernel_Iso_rectangle_2.tex}
-\input{Kernel_Left_of_line_2.tex}
-\input{Kernel_Leftturn_2.tex}
-\input{Kernel_Less_rotate_ccw_2.tex}
-\input{Kernel_Less_signed_distance_to_line_2.tex}
-\input{Kernel_Less_x_2.tex}
-\input{Kernel_Less_x_3.tex}
-\input{Kernel_Less_xy_2.tex}
-\input{Kernel_Less_xy_3.tex}
-\input{Kernel_Less_xyz_3.tex}
-\input{Kernel_Less_y_2.tex}
-\input{Kernel_Less_y_3.tex}
-\input{Kernel_Less_z_3.tex}
-\input{Kernel_Line_2.tex}
-\input{Kernel_Line_3.tex}
-\input{Kernel_Orientation_2.tex}
-\input{Kernel_Orientation_3.tex}
-\input{Kernel_Oriented_side_2.tex}
-\input{Kernel_Oriented_side_3.tex}
-\input{Kernel_Plane_3.tex}
-\input{Kernel_Point_2.tex}
-\input{Kernel_Point_3.tex}
-\input{Kernel_Point_d.tex}
-\input{Kernel_Ray_2.tex}
-\input{Kernel_Ray_3.tex}
-\input{Kernel_Segment_2.tex}
-\input{Kernel_Segment_3.tex}
-\input{Kernel_Side_of_bounded_circle_2.tex}
-\input{Kernel_Side_of_bounded_sphere_3.tex}
-\input{Kernel_Side_of_oriented_circle_2.tex}
-\input{Kernel_Side_of_oriented_sphere_3.tex}
-\input{Kernel_Tetrahedron_3.tex}
-\input{Kernel_Transform_2.tex}
-\input{Kernel_Transform_3.tex}
-\input{Kernel_Triangle_2.tex}
-\input{Kernel_Triangle_3.tex}
-\input{Kernel_Vector_2.tex}
-\input{Kernel_Vector_3.tex}
-\input{LEFTTURN.tex}
-\input{leftturn.tex}
-\input{lexicographically_xy_larger.tex}
-\input{lexicographically_xy_larger_or_equal.tex}
-\input{lexicographically_xy_smaller.tex}
-\input{lexicographically_xy_smaller_or_equal.tex}
-\input{lexicographically_xyz_smaller.tex}
-\input{lexicographically_xyz_smaller_or_equal.tex}
-\input{Line_2.tex}
-\input{Line_3.tex}
-\input{make_object.tex}
-\input{midpoint.tex}
-\input{Object.tex}
-\input{operator*.tex}
-\input{operator+.tex}
-\input{operator-.tex}
-\input{opposite.tex}
-\input{Orientation.tex}
-\input{orientation.tex}
-\input{Oriented_side.tex}
-\input{Point_2.tex}
-\input{Point_3.tex}
-\input{Point_d.tex}
-\input{quotient_cartesian_to_homogeneous.tex}
-\input{Ray_2.tex}
-\input{Ray_3.tex}
-\input{Reflection.tex}
-\input{RIGHTTURN.tex}
-\input{rightturn.tex}
-\input{Rotation.tex}
-\input{Scaling.tex}
-\input{Segment_2.tex}
-\input{Segment_3.tex}
-\input{side_of_bounded_circle.tex}
-\input{side_of_bounded_sphere.tex}
-\input{side_of_oriented_circle.tex}
-\input{side_of_oriented_sphere.tex}
-\input{Sign.tex}
-\input{Simple_cartesian.tex}
-\input{Simple_homogeneous.tex}
-\input{squared_radius.tex}
-\input{Tetrahedron_3.tex}
-\input{Translation.tex}
-\input{Triangle_2.tex}
-\input{Triangle_3.tex}
-\input{Vector_2.tex}
-\input{Vector_3.tex}
-\input{x_equal.tex}
-\input{y_equal.tex}
-\input{z_equal.tex}