| changeset 26896 | d6fb318ba24e |
| parent 26725 | 4d9ca7a6b586 |
| child 27102 | a98cd7450204 |
| 26895:d066f9db833b | 26896:d6fb318ba24e |
|---|---|
251 "attach" |
251 "attach" |
252 "avoids" |
252 "avoids" |
253 "begin" |
253 "begin" |
254 "binder" |
254 "binder" |
255 "compose" |
255 "compose" |
256 "concl" |
|
257 "congs" |
256 "congs" |
258 "constrains" |
257 "constrains" |
259 "contains" |
258 "contains" |
260 "defines" |
259 "defines" |
261 "distinct" |
260 "distinct" |