| changeset 10267 | 325ead6d9457 |
| parent 10187 | 0376cccd9118 |
| child 10395 | 7ef380745743 |
| 10266:41f6be79b44f | 10267:325ead6d9457 |
|---|---|
1 % |
1 % |
2 \begin{isabellebody}% |
2 \begin{isabellebody}% |
3 \def\isabellecontext{case_exprs}% |
3 \def\isabellecontext{case{\isacharunderscore}exprs}% |
4 % |
4 % |
5 \isamarkupsubsection{Case expressions} |
5 \isamarkupsubsection{Case expressions} |
6 % |
6 % |
7 \begin{isamarkuptext}% |
7 \begin{isamarkuptext}% |
8 \label{sec:case-expressions} |
8 \label{sec:case-expressions} |