From 502379c0540d55f1ca5341b69f89c68994a22f02 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Mon, 6 Sep 2021 10:29:24 +0200 Subject: Changed date, solutions hidden --- solutions/preplogic-solutions.aux | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'solutions/preplogic-solutions.aux') 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 @@ \relax -\@writefile{toc}{\contentsline {section}{\numberline {1}Logical operations}{1}} -\@writefile{toc}{\contentsline {section}{\numberline {2}Implication}{2}} -\@writefile{toc}{\contentsline {section}{\numberline {3}Quantifiers}{2}} -\@writefile{toc}{\contentsline {section}{\numberline {4}Proofs}{3}} +\@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 } -- cgit v1.3