Index: /reasoner/reasoner.tex
===================================================================
--- /reasoner/reasoner.tex	(revision 89)
+++ /reasoner/reasoner.tex	(revision 90)
@@ -986,5 +986,5 @@
 \tabAlg{algTranslateDeclaration} & ECo1, ECo2\\
 
-Derived type & 2.1.3.4 &  \tabAlgLine{algTranslateCompoundContent}{algTranslateCompoundDeclarationTranslateSlotsV} or \tabAlgLine{algTranslateCompoundContent}{algTranslateCompoundDeclarationTranslateSlotsT}\tabAlgFollow\tabAlg{algTranslateDeclaration} & CnTCt1, CnTCt2 \\
+Derived type & 2.1.3.4 &  \tabAlgLine{algTranslateCompoundContent}{algTranslateCompoundDeclarationTranslateSlotsV} or \tabAlgLine{algTranslateCompoundContent}{algTranslateCompoundDeclarationTranslateSlotsT}\tabAlgFollow\tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationDerivedDatatype}\tabAlgFollow\tabAlg{algTranslateDerivedDatatypeConstraints} & CnTCt1, CnTCt2 \\
 
 Compound type & 2.1.3.5 & \TBD{Alg. \ref{algTranslateDeclaration} line \ref{algTranslateDeclarationTranslateCompound} $\rightarrow$ Alg.\ref{algTranslateCompoundDeclaration}} & \TBD{tests} \\
@@ -1036,5 +1036,5 @@
 Compound type & 2.1.3.5 & \TBD{??} & \TBD{tests} \\
 
-Derived Compound Type & \TBD{??}  & \TBD{??}  & ITCnCt1, ITCnCt2 \\
+Derived Compound Type & \TBD{??} & \tabAlgLine{algTranslateContainerDeclaration}{algTranslateContainerDeclarationDerivedTypes} \tabAlgFollow \tabAlg{algTranslateDerivedDatatypeConstraints}  & ITCnCt1, ITCnCt2 \\
 
 Container type & 2.1.3.3 & \TBD{??}  & \TBD{tests} \\