Changeset 6a0f5a2 in report for report/exps.verb
 Timestamp:
 Jan 13, 2007 12:21:46 AM (12 years ago)
 Branches:
 h2010, master
 Children:
 37e445e
 Parents:
 aaf9a1d
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

report/exps.verb
raaf9a1d r6a0f5a2 1577 1577 \begin{tabular}{@@{}cl} 1578 1578 (g)&@case @$v$@ of { @$K\ p_1 \ldots p_n$@ > @$e$@; _ > @$e'$@ }@\\ 1579 &$=$@ case @$v$@ of {@\\ 1579 &$=$@ case @$e'$@ of { @$y$@ >@\\ 1580 &@ case @$v$@ of {@\\ 1580 1581 &@ @$K\ x_1 \ldots x_n$@ > case @$x_1$@ of {@\\ 1581 &@ @$p_1$@ > @$\ldots$@ case @$x_n$@ of { @$p_n$@ > @$e$@ ; _ > @$ e'$@ } @$\ldots$\\1582 &@ _ > @$ e'$@ }@\\1583 &@ _ > @$ e'$@}@\\[2pt]1582 &@ @$p_1$@ > @$\ldots$@ case @$x_n$@ of { @$p_n$@ > @$e$@ ; _ > @$y$@ } @$\ldots$\\ 1583 &@ _ > @$y$@ }@\\ 1584 &@ _ > @$y$@ }}@\\[2pt] 1584 1585 &{\rm at least one of $p_1, \ldots, p_n$ is not a variable; $x_1, \ldots, x_n$ are new variables}\\[4pt] 1585 1586 %\\
Note: See TracChangeset
for help on using the changeset viewer.