| changeset 20338 | ecdfc96cf4d0 |
| parent 19891 | 2857fac35e6d |
| child 20358 | ccad73da6f61 |
| 20337:36e2fae2c68a | 20338:ecdfc96cf4d0 |
|---|---|
257 "monos" |
257 "monos" |
258 "morphisms" |
258 "morphisms" |
259 "notes" |
259 "notes" |
260 "obtains" |
260 "obtains" |
261 "open" |
261 "open" |
262 "otherwise" |
|
262 "output" |
263 "output" |
263 "outputs" |
264 "outputs" |
264 "overloaded" |
265 "overloaded" |
265 "permissive" |
266 "permissive" |
266 "post" |
267 "post" |
267 "pre" |
268 "pre" |
268 "rename" |
269 "rename" |
269 "restrict" |
270 "restrict" |
271 "sequential" |
|
270 "shows" |
272 "shows" |
271 "signature" |
273 "signature" |
272 "states" |
274 "states" |
273 "structure" |
275 "structure" |
274 "target_atom" |
276 "target_atom" |