| changeset 17181 | 5f42dd5e6570 |
| parent 17175 | 1eced27ee0e1 |
| child 17187 | 45bee2f6e61f |
| 17180:5fefe658a6f8 | 17181:5f42dd5e6570 |
|---|---|
1 % |
1 % |
2 \begin{isabellebody}% |
2 \begin{isabellebody}% |
3 \def\isabellecontext{Semigroups}% |
3 \def\isabellecontext{Semigroups}% |
4 \isamarkupfalse% |
|
4 % |
5 % |
5 \isamarkupheader{Semigroups% |
6 \isamarkupheader{Semigroups% |
6 } |
7 } |
7 \isamarkuptrue% |
8 \isamarkuptrue% |
8 % |
9 % |