\relax 
\ifx\hyper@anchor\@undefined
\global \let \oldcontentsline\contentsline
\gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global \let \oldnewlabel\newlabel
\gdef \newlabel#1#2{\newlabelxx{#1}#2}
\gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\let \contentsline\oldcontentsline
\let \newlabel\oldnewlabel}
\else
\global \let \hyper@last\relax 
\fi

\bibstyle{plain}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}{section.1}}
\citation{mendelson}
\citation{mendelson}
\citation{mendelson}
\@writefile{toc}{\contentsline {section}{\numberline {2}Propositional Theory}{2}{section.2}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Implication}{2}{section.3}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Axioms}{2}{section.4}}
\@writefile{toc}{\contentsline {section}{\numberline {A}The Name of the Page}{3}{section.A}}
\@writefile{toc}{\contentsline {section}{\numberline {B}T\kern -.1667em\lower .5ex\hbox {E}\kern -.125emX\spacefactor \@m \ Definitions}{3}{section.B}}
\newlabel{section:TexDefinitions}{{B}{3}{\TeX \ Definitions\relax }{section.B}{}}
\@writefile{toc}{\contentsline {section}{\numberline {C}Test}{3}{section.C}}
\@writefile{toc}{\contentsline {section}{\numberline {D}Priority Table}{3}{section.D}}
\newlabel{section:PriorityTable}{{D}{3}{Priority Table\relax }{section.D}{}}
\bibdata{./page}
\bibcite{mendelson}{1}
\@writefile{toc}{\contentsline {section}{\numberline {E}Bibliography}{6}{section.E}}