| changeset 20345 | 32ed5f5fee84 |
| parent 19891 | 2857fac35e6d |
| child 20358 | ccad73da6f61 |
| 20344:d02b43ea722e | 20345:32ed5f5fee84 |
|---|---|
246 "monos" |
246 "monos" |
247 "morphisms" |
247 "morphisms" |
248 "notes" |
248 "notes" |
249 "obtains" |
249 "obtains" |
250 "open" |
250 "open" |
251 "otherwise" |
|
251 "output" |
252 "output" |
252 "overloaded" |
253 "overloaded" |
253 "permissive" |
254 "permissive" |
255 "sequential" |
|
254 "shows" |
256 "shows" |
255 "structure" |
257 "structure" |
256 "target_atom" |
258 "target_atom" |
257 "unchecked" |
259 "unchecked" |
258 "uses" |
260 "uses" |