blob: c375d333ce9eb50bc4f45b3a62e732f409043100 (
plain)
1
2
3
4
5
|
\relax
\@writefile{toc}{\contentsline {section}{\numberline {1}Logical operations}{1}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {2}Implication}{1}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {3}Quantifiers}{2}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {4}Proofs}{2}\protected@file@percent }
|
