equal
deleted
inserted
replaced
23 mathematical structures (by the inevitable group theory example). |
23 mathematical structures (by the inevitable group theory example). |
24 *} |
24 *} |
25 |
25 |
26 text_raw {* |
26 text_raw {* |
27 \newcommand{\isasyminv}{\isasyminverse} |
27 \newcommand{\isasyminv}{\isasyminverse} |
28 \newcommand{\isasymone}{\isamath{1}} |
|
29 \newcommand{\isasymIN}{\isatext{\isakeyword{in}}} |
28 \newcommand{\isasymIN}{\isatext{\isakeyword{in}}} |
30 *} |
29 *} |
31 |
30 |
32 |
31 |
33 subsection {* Local contexts as mathematical structures *} |
32 subsection {* Local contexts as mathematical structures *} |