fixing typo where f was used for \bot

diff --git a/doc/theory.tex b/doc/theory.tex
index 7709980259d52603a038595cb8ece9f76b9bf564..ebefcdfa58b9d185d835a514dac69e8c53f6d92b 100644 (file)
--- a/doc/theory.tex
+++ b/doc/theory.tex
@@ -88,7 +88,7 @@ The set of program quotations, $QUOT \subset OBJ$, is the smallest set satisfyin
 
 \begin{enumerate}
 
-\item The empty list $\mbox{\texttt{f}} \in QUOT$.
+\item The empty list $\bot \in QUOT$.
 \item If $a \in OBJ$, $b \in QUOT$, $(a::b) \in QUOT$.
 
 \end{enumerate}
@@ -105,7 +105,7 @@ The set of stacks, $STACK \subset QUOT$, is the smallest set satisfying:
 
 \begin{enumerate}
 
-\item The empty list $\mbox{\texttt{f}} \in STACK$.
+\item The empty list $\bot \in STACK$.
 \item If $a \in QUOT$, $b \in STACK$, $(a::b) \in STACK$.
 
 \end{enumerate}