author | Luc Moreau <l.moreau@ecs.soton.ac.uk> |
Thu, 06 Sep 2012 10:14:05 +0100 | |
changeset 4407 | 90526c58a3f3 |
parent 4406 | 31b390a5c906 |
child 4408 | 0fd58d8d8bd5 |
model/prov-constraints.html |
--- a/model/prov-constraints.html Thu Sep 06 08:34:50 2012 +0100 +++ b/model/prov-constraints.html Thu Sep 06 10:14:05 2012 +0100 @@ -1855,8 +1855,6 @@ variables <span class="math">x</span> in the instance with <span class="math">S(x)</span>. </p> -<div - class="note">More explanation may be needed</div> <p> <a class="rule-ref" href="#optional-identifiers"><span>TBD</span></a>,