internal release prep
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Fri, 20 Jul 2012 08:08:30 +0100
changeset 4182 111bcadfcb4a
parent 4181 06ed4ae7f0e4
child 4183 58333d5ae274
internal release prep
model/prov-constraints.html
--- a/model/prov-constraints.html	Fri Jul 20 08:05:08 2012 +0100
+++ b/model/prov-constraints.html	Fri Jul 20 08:08:30 2012 +0100
@@ -885,7 +885,7 @@
 <span class="name">wasAttributedTo</span>,
 <span class="name">wasAssociatedWith</span>,
 <span class="name">actedOnBehalfOf</span>}, if <span class="name">a_n</span> is not an
-   attribute list parameter then the following definition holds:</p>
+   attribute list parameter then the following definition holds:
    
   <p> <span class="name">r(id;a<sub>1</sub>,...,a<sub>n</sub>)</span> holds
    <span  class="conditional">IF AND ONLY IF</span>   <span
@@ -940,7 +940,7 @@
    rules above.</p>
    </div>
 
-<div id="optional-attributes1">
+<!--<div id="optional-attributes1"> -->
 <p>Finally,  most optional parameters (written <span
   class="name">-</span>) are, for the purpose of this document,
   considered to be distinct, fresh existential variables.  Thus,