equal
deleted
inserted
replaced
1 % |
1 \begin{isabelle}% |
2 \begin{isabellebody}% |
|
3 \isanewline |
2 \isanewline |
4 \isacommand{datatype}\ {\isacharprime}a\ option\ {\isacharequal}\ None\ {\isacharbar}\ Some\ {\isacharprime}a\end{isabellebody}% |
3 \isacommand{datatype}\ {\isacharprime}a\ option\ {\isacharequal}\ None\ {\isacharbar}\ Some\ {\isacharprime}a\end{isabelle}% |
5 %%% Local Variables: |
4 %%% Local Variables: |
6 %%% mode: latex |
5 %%% mode: latex |
7 %%% TeX-master: "root" |
6 %%% TeX-master: "root" |
8 %%% End: |
7 %%% End: |