\relax 
\citation{OpenMath}
\citation{AS}
\citation{CDJW}
\citation{AS}
\citation{AS}
\citation{GR}
\citation{CRC}
\citation{Mma}
\@writefile{toc}{\contentsline {title}{Mathematical Knowledge Representation\unskip \ \ignorespaces (Extended Abstract)}{1}}
\@writefile{toc}{{\raggedright \leftskip 15\p@ \rightskip 2.55em\itshape James H. Davenport\unskip {}\endgraf }}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Exactly which $\ldots  $ do you mean?}{1}}
\citation{AISC}
\citation{MathML}
\citation{OpenMath}
\newlabel{arccottable}{{2}{2}}
\@writefile{lot}{\contentsline {table}{\numberline {1}{\ignorespaces value of $\mathop {\rm  arccot}\nolimits (-1)$ in various sources}}{2}}
\citation{CHM}
\citation{CHM}
\citation{Atlas}
\@writefile{toc}{\contentsline {section}{\numberline {3}Just how constructive are we?}{3}}
\citation{FS}
\citation{Kleene}
\citation{Equality}
\@writefile{toc}{\contentsline {section}{\numberline {4}What do we mean by Equality?}{4}}
\citation{Naylor}
\citation{FIK}
\citation{Naylor}
\citation{FTA}
\citation{Hur,HD1,HD2}
\newlabel{arccos2}{{1}{5}}
\citation{OpenMath}
\citation{Asperti et al.}
\@writefile{toc}{\contentsline {section}{\numberline {5}Just what logic are you using, anyway?}{6}}
\@writefile{toc}{\contentsline {section}{\numberline {6}So, what use is OpenMath?}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1}Is this true?}{6}}
\bibcite{AS}{1}
\bibcite{Asperti et al.}{2}
\bibcite{CHM}{3}
\bibcite{Atlas}{4}
\bibcite{CDJW}{5}
\bibcite{AISC}{6}
\bibcite{Equality}{7}
\bibcite{FIK}{8}
\bibcite{FS}{9}
\bibcite{FTA}{10}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2}Is this a bad thing?}{7}}
\@writefile{toc}{\contentsline {section}{\numberline {7}Conclusions}{7}}
\bibcite{GR}{11}
\bibcite{Hur}{12}
\bibcite{HD1}{13}
\bibcite{HD2}{14}
\bibcite{Kleene}{15}
\bibcite{Naylor}{16}
\bibcite{OpenMath}{17}
\bibcite{Mma}{18}
\bibcite{MathML}{19}
\bibcite{CRC}{20}