author | Luc Moreau <l.moreau@ecs.soton.ac.uk> |
Sun, 29 Apr 2012 14:16:58 +0100 | |
changeset 2644 | aa401578941a |
parent 2643 | 076b7ce128ad |
child 2645 | 7fd7c2b2c803 |
model/prov-constraints.html |
--- a/model/prov-constraints.html Sun Apr 29 14:14:12 2012 +0100 +++ b/model/prov-constraints.html Sun Apr 29 14:16:58 2012 +0100 @@ -264,7 +264,7 @@ class="sectionRef"></a> summarizes the requirements for compliance with this document, which are specified in detail in the rest of the document. -</p></p> +</p> <p> This specification lists inferences and definitions together in one section (<a href="#inferences" class="sectionRef"></a>), defines the