| author | Luc Moreau <l.moreau@ecs.soton.ac.uk> |
| Thu, 31 May 2012 23:52:30 +0100 | |
| changeset 3136 | b5f2f6bc78f2 |
| parent 3135 | e4f47e3c2137 |
| child 3137 | 82ae6bd3175b |
| model/prov-constraints.html |
--- a/model/prov-constraints.html Thu May 31 23:51:50 2012 +0100 +++ b/model/prov-constraints.html Thu May 31 23:52:30 2012 +0100 @@ -1823,7 +1823,7 @@ Nor have the following: <pre class="codeexample"> derivedByInsertionFrom(c, c1, {("k1", e1)}) -memberOf(c, {"k2",e2}). +memberOf(c, {"k2",e2}) </pre> </div>