diff options
| author | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2020-09-11 11:10:25 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2020-09-11 11:10:25 +0200 |
| commit | 7b0d377def293c11bd8d8c773c9c6e1c446c0c96 (patch) | |
| tree | 485c2ca2d79e7f427f24bf3eaa446fe43675a53a /solutions/preplogic-solutions.aux | |
| parent | 20d98cd9f56c169f56c4138e7e48f0a172f259d7 (diff) | |
| download | preplogic-7b0d377def293c11bd8d8c773c9c6e1c446c0c96.tar.gz preplogic-7b0d377def293c11bd8d8c773c9c6e1c446c0c96.zip | |
Added solutions
Diffstat (limited to 'solutions/preplogic-solutions.aux')
| -rw-r--r-- | solutions/preplogic-solutions.aux | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/solutions/preplogic-solutions.aux b/solutions/preplogic-solutions.aux new file mode 100644 index 0000000..17d376d --- /dev/null +++ b/solutions/preplogic-solutions.aux | |||
| @@ -0,0 +1,5 @@ | |||
| 1 | \relax | ||
| 2 | \@writefile{toc}{\contentsline {section}{\numberline {1}Logical operations}{1}} | ||
| 3 | \@writefile{toc}{\contentsline {section}{\numberline {2}Implication}{2}} | ||
| 4 | \@writefile{toc}{\contentsline {section}{\numberline {3}Quantifiers}{2}} | ||
| 5 | \@writefile{toc}{\contentsline {section}{\numberline {4}Proofs}{3}} | ||