blob: 6d7567f8dbe8b9fb6af21bb49ef205857b09a92a (
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}{2}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {3}Quantifiers}{2}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {4}Proofs}{3}\protected@file@percent }
|
