| changeset 52422 | 93f3f9a2ae91 |
| parent 48985 | 5386df44a037 |
| 52421:6d93140a206c | 52422:93f3f9a2ae91 |
|---|---|
157 *} |
157 *} |
158 |
158 |
159 |
159 |
160 section {* Morphisms and declarations \label{sec:morphisms} *} |
160 section {* Morphisms and declarations \label{sec:morphisms} *} |
161 |
161 |
162 text {* FIXME |
162 text {* |
163 %FIXME |
|
163 |
164 |
164 \medskip See also \cite{Chaieb-Wenzel:2007}. |
165 See also \cite{Chaieb-Wenzel:2007}. |
165 *} |
166 *} |
166 |
167 |
167 end |
168 end |