@include identifiers.tely
-@node Vordefinierte Typenprädikate
-@appendixsec Vordefinierte Typenprädikate
+@node Vordefinierte Typprädikate
+@appendixsec Vordefinierte Typprädikate
@translationof Predefined type predicates
@include type-predicates.tely