diff -r ba66fa116e05 -r 8b6a285ad480 Paper/document/root.tex
--- a/Paper/document/root.tex	Wed Mar 31 18:47:22 2010 +0200
+++ b/Paper/document/root.tex	Wed Mar 31 22:48:35 2010 +0200
@@ -11,6 +11,7 @@
 \usepackage{times}
 \usepackage{boxedminipage}
 
+
 \urlstyle{rm}
 \isabellestyle{it}
 \renewcommand{\isastyleminor}{\it}%
@@ -23,7 +24,7 @@
 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,}
 \renewcommand{\isasymequiv}{$\dn$}
 %%\renewcommand{\isasymiota}{}
-\renewcommand{\isasymxi}{$\ldots$}
+\renewcommand{\isasymxi}{$..$}
 \renewcommand{\isasymemptyset}{$\varnothing$}
 \newcommand{\isasymnotapprox}{$\not\approx$}
 \newcommand{\isasymLET}{$\mathtt{let}$}