equal
deleted
inserted
replaced
1 \begin{isabelle}% |
1 \begin{isabelle}% |
2 \isacommand{lemma}\ {"}n*n\ =\ n\ {\isasymLongrightarrow}\ n=0\ {\isasymor}\ n=1{"}\isanewline |
2 \isacommand{lemma}\ {\isachardoublequote}n{\isacharasterisk}n\ {\isacharequal}\ n\ {\isasymLongrightarrow}\ n{\isacharequal}\isadigit{0}\ {\isasymor}\ n{\isacharequal}\isadigit{1}{\isachardoublequote}\isanewline |
3 \end{isabelle}% |
3 \end{isabelle}% |
4 %%% Local Variables: |
4 %%% Local Variables: |
5 %%% mode: latex |
5 %%% mode: latex |
6 %%% TeX-master: "root" |
6 %%% TeX-master: "root" |
7 %%% End: |
7 %%% End: |