| changeset 39877 | 1206e88f1284 |
| parent 39864 | f3b4fde34cd1 |
| child 41621 | 55b16bd82142 |
| 39876:1ff9bce085bd | 39877:1206e88f1284 |
|---|---|
154 *} |
154 *} |
155 |
155 |
156 |
156 |
157 section {* Morphisms and declarations \label{sec:morphisms} *} |
157 section {* Morphisms and declarations \label{sec:morphisms} *} |
158 |
158 |
159 text FIXME |
159 text {* FIXME |
160 |
|
161 \medskip See also \cite{Chaieb-Wenzel:2007}. |
|
162 *} |
|
160 |
163 |
161 end |
164 end |