% \documentstyle[tcom,cdsty]{}
\documentclass{article}
\usepackage{latexsym}
% \usepackage{amssymb}
\usepackage{cdsty}
\usepackage{tcom}

\def\zzctdrawdotedge{\drawdotedge{4pt}0}
\def\ctabutborderlr{1em}
\def\ctabutbordertb{1ex}

\sloppy
\begin{document}


% \include{intro5}  %discussion on the completion
% \include{immhornprf} %main proof
%     \include{draft5} %old pool
%    \include{ass} %defining and negating assumptions
% \include{fun} % shortcut for total fuctions
%    \include{resid}  % elimination of tensor :input{cloex}
%    \include{lamrelated} %related work
%   
\end{document}


%    \include{casestudy} %the of example, maybe in last chapter
