\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}ZBol2SMTVerit Operators Documentation}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Z Elements which does not have corresponding elements in Bol}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Changes in Bol grammar}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Obs}{3}}