From 983aef132b0695af7e1b16d77ad43180388eea71 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Fri, 2 Dec 2005 18:33:08 +0000
Subject: Transfer added guards and Eq derivation.

---
 src/Transfer/Core/Doc.tex | 24 ++++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

(limited to 'src/Transfer/Core/Doc.tex')

diff --git a/src/Transfer/Core/Doc.tex b/src/Transfer/Core/Doc.tex
index c491e86ed..7fdd25137 100644
--- a/src/Transfer/Core/Doc.tex
+++ b/src/Transfer/Core/Doc.tex
@@ -64,8 +64,8 @@ The symbols used in Core are the following: \\
 \begin{tabular}{lll}
 {\symb{;}} &{\symb{:}} &{\symb{\{}} \\
 {\symb{\}}} &{\symb{{$=$}}} &{\symb{(}} \\
-{\symb{)}} &{\symb{\_}} &{\symb{$\backslash$}} \\
-{\symb{{$-$}{$>$}}} &{\symb{.}} & \\
+{\symb{)}} &{\symb{\_}} &{\symb{{$|$}}} \\
+{\symb{{$-$}{$>$}}} &{\symb{$\backslash$}} &{\symb{.}} \\
 \end{tabular}\\
 
 \subsection*{Comments}
@@ -148,6 +148,16 @@ All other symbols are terminals.\\
  & {\delimit}  &{\nonterminal{LetDef}} {\terminal{;}} {\nonterminal{ListLetDef}}  \\
 \end{tabular}\\
 
+\begin{tabular}{lll}
+{\nonterminal{Case}} & {\arrow}  &{\nonterminal{Pattern}} {\terminal{{$|$}}} {\nonterminal{Exp}} {\terminal{{$-$}{$>$}}} {\nonterminal{Exp}}  \\
+\end{tabular}\\
+
+\begin{tabular}{lll}
+{\nonterminal{ListCase}} & {\arrow}  &{\emptyP} \\
+ & {\delimit}  &{\nonterminal{Case}}  \\
+ & {\delimit}  &{\nonterminal{Case}} {\terminal{;}} {\nonterminal{ListCase}}  \\
+\end{tabular}\\
+
 \begin{tabular}{lll}
 {\nonterminal{Exp2}} & {\arrow}  &{\terminal{$\backslash$}} {\nonterminal{PatternVariable}} {\terminal{{$-$}{$>$}}} {\nonterminal{Exp}}  \\
  & {\delimit}  &{\terminal{(}} {\nonterminal{PatternVariable}} {\terminal{:}} {\nonterminal{Exp}} {\terminal{)}} {\terminal{{$-$}{$>$}}} {\nonterminal{Exp}}  \\
@@ -200,16 +210,6 @@ All other symbols are terminals.\\
 {\nonterminal{Exp1}} & {\arrow}  &{\nonterminal{Exp2}}  \\
 \end{tabular}\\
 
-\begin{tabular}{lll}
-{\nonterminal{Case}} & {\arrow}  &{\nonterminal{Pattern}} {\terminal{{$-$}{$>$}}} {\nonterminal{Exp}}  \\
-\end{tabular}\\
-
-\begin{tabular}{lll}
-{\nonterminal{ListCase}} & {\arrow}  &{\emptyP} \\
- & {\delimit}  &{\nonterminal{Case}}  \\
- & {\delimit}  &{\nonterminal{Case}} {\terminal{;}} {\nonterminal{ListCase}}  \\
-\end{tabular}\\
-
 
 
 \end{document}
-- 
cgit v1.2.3

