diff options
| author | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2021-09-06 10:29:24 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2021-09-06 10:29:24 +0200 |
| commit | 502379c0540d55f1ca5341b69f89c68994a22f02 (patch) | |
| tree | b137489c39ffe869ba1a26d762eb6d82b6945d67 /solutions/preplogic-solutions.aux | |
| parent | ad1f929a973c2b6e119f36ec47d214352eef01eb (diff) | |
| download | preplogic-502379c0540d55f1ca5341b69f89c68994a22f02.tar.gz preplogic-502379c0540d55f1ca5341b69f89c68994a22f02.zip | |
Changed date, solutions hidden
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 } |