diff --git a/Kernel_d/doc_tex/Kernel_d_ref/Kernel.tex b/Kernel_d/doc_tex/Kernel_d_ref/Kernel.tex
index 421f2aab6c0..3d7ee4b90cf 100644
--- a/Kernel_d/doc_tex/Kernel_d_ref/Kernel.tex
+++ b/Kernel_d/doc_tex/Kernel_d_ref/Kernel.tex
@@ -106,45 +106,45 @@ replacing operators, especially for equality testing.
 
 \ccHeading{Generalized Predicates}
 
-\ccNestedType{Affine_rank_d}{}
+\ccNestedType{Affine_rank_d}{a model of \ccc{Kernel::Affine_rank_d}}
 \ccGlue
-\ccNestedType{Affinely_independent_d}{}
+\ccNestedType{Affinely_independent_d}{a model of \ccc{Kernel::Affinely_independent_d}}
 \ccGlue
-\ccNestedType{Compare_lexicographically_d}{}
+\ccNestedType{Compare_lexicographically_d}{a model of \ccc{Kernel::Compare_lexicographically_d}}
 \ccGlue
-\ccNestedType{Component_accessor_d}{}
+\ccNestedType{Component_accessor_d}{a model of \ccc{Kernel::Component_accessor_d}}
 \ccGlue
-\ccNestedType{Contained_in_affine_hull_d}{}
+\ccNestedType{Contained_in_affine_hull_d}{a model of \ccc{Kernel::Contained_in_affine_hull_d}}
 \ccGlue
-\ccNestedType{Contained_in_linear_hull_d}{}
+\ccNestedType{Contained_in_linear_hull_d}{a model of \ccc{Kernel::Contained_in_linear_hull_d}}
 \ccGlue
-\ccNestedType{Contained_in_simplex_d}{}
+\ccNestedType{Contained_in_simplex_d}{a model of \ccc{Kernel::Contained_in_simplex_d}}
 \ccGlue
-\ccNestedType{Equal_d}{}
+\ccNestedType{Equal_d}{a model of \ccc{Kernel::Equal_d}}
 \ccGlue
-\ccNestedType{Has_on_positive_side_d}{}
+\ccNestedType{Has_on_positive_side_d}{a model of \ccc{Kernel::Has_on_positive_side_d}}
 \ccGlue
-\ccNestedType{Less_lexicographically_d}{}
+\ccNestedType{Less_coordinate_d}{a model of \ccc{Kernel::Less_coordinate_d}}
 \ccGlue
-\ccNestedType{Less_or_equal_lexicographically_d}{}
+\ccNestedType{Less_lexicographically_d}{a model of \ccc{Kernel::Less_lexicographically_d}}
 \ccGlue
-\ccNestedType{Less_coordinate_d}{}
+\ccNestedType{Less_or_equal_lexicographically_d}{a model of \ccc{Kernel::Less_or_equal_lexicographically_d}}
 \ccGlue
-\ccNestedType{Linear_rank_d}{}
+\ccNestedType{Linear_rank_d}{a model of \ccc{Kernel::Linear_rank_d}}
 \ccGlue
-\ccNestedType{Linearly_independent_d}{}
+\ccNestedType{Linearly_independent_d}{a model of \ccc{Kernel::Linearly_independent_d}}
 \ccGlue
-\ccNestedType{Orientation_d}{}
+\ccNestedType{Orientation_d}{a model of \ccc{Kernel::Orientation_d}}
 \ccGlue
-\ccNestedType{Oriented_side_d}{}
+\ccNestedType{Oriented_side_d}{a model of \ccc{Kernel::Oriented_side_d}}
 \ccGlue
-\ccNestedType{Point_dimension_d}{}
+\ccNestedType{Point_dimension_d}{a model of \ccc{Kernel::Point_dimension_d}}
 \ccGlue
 \ccNestedType{Position_on_line_d}{}
 \ccGlue
-\ccNestedType{Side_of_bounded_sphere_d}{}
+\ccNestedType{Side_of_bounded_sphere_d}{a model of \ccc{Kernel::Side_of_bounded_sphere_d}}
 \ccGlue
-\ccNestedType{Side_of_oriented_sphere_d}{}
+\ccNestedType{Side_of_oriented_sphere_d}{a model of \ccc{Kernel::Side_of_oriented_sphere_d}}
 \ccGlue
 
 \ccOperations