diff -r e6248d2c20c2 -r 2e7c7111c0be PhdThesisRealOne/LaTeXTemplates_masters-doctoral-thesis_v2/Chapters/Chapter3.aux --- a/PhdThesisRealOne/LaTeXTemplates_masters-doctoral-thesis_v2/Chapters/Chapter3.aux Wed Mar 23 10:09:32 2022 +0000 +++ b/PhdThesisRealOne/LaTeXTemplates_masters-doctoral-thesis_v2/Chapters/Chapter3.aux Thu Mar 24 20:52:34 2022 +0000 @@ -1,15 +1,15 @@ \relax \providecommand\hyper@newdestlabel[2]{} -\@writefile{toc}{\contentsline {chapter}{\numberline {3}Common Identities In Simplification-Related Functions}{15}{chapter.47}} +\@writefile{toc}{\contentsline {chapter}{\numberline {3}Common Identities In Simplification-Related Functions}{25}{chapter.56}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} -\newlabel{ChapterX}{{3}{15}{Common Identities In Simplification-Related Functions}{chapter.47}{}} -\@writefile{toc}{\contentsline {section}{\numberline {3.1}Idempotency of $\mathit {simp}$}{15}{section.48}} -\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.1}Syntactic Equivalence Under $\mathit {simp}$}{15}{subsection.50}} -\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.2}Subsection 2}{15}{subsection.51}} -\@writefile{toc}{\contentsline {section}{\numberline {3.2}Main Section 2}{15}{section.52}} +\newlabel{ChapterX}{{3}{25}{Common Identities In Simplification-Related Functions}{chapter.56}{}} +\@writefile{toc}{\contentsline {section}{\numberline {3.1}Idempotency of $\mathit {simp}$}{25}{section.57}} +\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.1}Syntactic Equivalence Under $\mathit {simp}$}{25}{subsection.59}} +\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.2}Subsection 2}{25}{subsection.60}} +\@writefile{toc}{\contentsline {section}{\numberline {3.2}Main Section 2}{25}{section.61}} \@setckpt{Chapters/Chapter3}{ -\setcounter{page}{16} +\setcounter{page}{26} \setcounter{equation}{1} \setcounter{enumi}{0} \setcounter{enumii}{0} @@ -31,7 +31,7 @@ \setcounter{ContinuedFloat}{0} \setcounter{Item}{0} \setcounter{Hfootnote}{1} -\setcounter{bookmark@seq@number}{37} +\setcounter{bookmark@seq@number}{40} \setcounter{tabx@nest}{0} \setcounter{listtotal}{0} \setcounter{listcount}{0}