diff options
Diffstat (limited to 'solutions/preplogic-solutions.aux')
| -rw-r--r-- | solutions/preplogic-solutions.aux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/solutions/preplogic-solutions.aux b/solutions/preplogic-solutions.aux index 17d376d..6d7567f 100644 --- a/solutions/preplogic-solutions.aux +++ b/solutions/preplogic-solutions.aux | |||
| @@ -1,5 +1,5 @@ | |||
| 1 | \relax | 1 | \relax |
| 2 | \@writefile{toc}{\contentsline {section}{\numberline {1}Logical operations}{1}} | 2 | \@writefile{toc}{\contentsline {section}{\numberline {1}Logical operations}{1}\protected@file@percent } |
| 3 | \@writefile{toc}{\contentsline {section}{\numberline {2}Implication}{2}} | 3 | \@writefile{toc}{\contentsline {section}{\numberline {2}Implication}{2}\protected@file@percent } |
| 4 | \@writefile{toc}{\contentsline {section}{\numberline {3}Quantifiers}{2}} | 4 | \@writefile{toc}{\contentsline {section}{\numberline {3}Quantifiers}{2}\protected@file@percent } |
| 5 | \@writefile{toc}{\contentsline {section}{\numberline {4}Proofs}{3}} | 5 | \@writefile{toc}{\contentsline {section}{\numberline {4}Proofs}{3}\protected@file@percent } |