--- a/model/prov-constraints.html Thu Sep 06 10:39:23 2012 +0100
+++ b/model/prov-constraints.html Thu Sep 06 10:47:36 2012 +0100
@@ -4541,16 +4541,17 @@
statements of the <a>toplevel instance</a>, and for each <span class="name">i</span>, <span class="name">B<sub>i</sub></span> is the set of
statements of bundle <span class="name">b<sub>i</sub></span>. Names <span class="name">b<sub>1</sub>...b<sub>n</sub></span> are assumed to be distinct. This notation is shorthand for the
following PROV-N syntax:</p>
-<pre>
-B<sub>0</sub>
-bundle b<sub>1</sub>
- B<sub>1</sub>
+
+<div class="name">
+B<sub>0</sub><br>
+bundle b<sub>1</sub><br>
+ B<sub>1</sub><br>
+endBundle<br>
+...<br>
+bundle b<sub>n</sub><br>
+ B<sub>n</sub><br>
endBundle
-...
-bundle b<sub>n</sub>
- B<sub>n</sub>
-endBundle
-</pre>
+</div>
<p> The <a>normal form</a> of a PROV document
<span class="name">(B<sub>0</sub>,[b<sub>1</sub>=B<sub>1</sub>,...,[b<sub>n</sub>=B<sub>n</sub>])</span> is <span class="name">(B'<sub>0</sub>,[b<sub>1</sub>=B'<sub>1</sub>,...,b<sub>n</sub>=B'<sub>n</sub>])</span>
--- a/model/releases/WD-prov-constraints-20120911/Overview.html Thu Sep 06 10:39:23 2012 +0100
+++ b/model/releases/WD-prov-constraints-20120911/Overview.html Thu Sep 06 10:47:36 2012 +0100
@@ -4466,15 +4466,18 @@
statements of the <a>toplevel instance</a>, and for each <span class="name">i</span>, <span class="name">B<sub>i</sub></span> is the set of
statements of bundle <span class="name">b<sub>i</sub></span>. Names <span class="name">b<sub>1</sub>...b<sub>n</sub></span> are assumed to be distinct. This notation is shorthand for the
following PROV-N syntax:</p>
-<pre>B<sub>0</sub>
-bundle b<sub>1</sub>
- B<sub>1</sub>
+
+<div class="name">
+B<sub>0</sub><br>
+bundle b<sub>1</sub><br>
+ B<sub>1</sub><br>
+endBundle<br>
+...<br>
+bundle b<sub>n</sub><br>
+ B<sub>n</sub><br>
endBundle
-...
-bundle b<sub>n</sub>
- B<sub>n</sub>
-endBundle
-</pre>
+</div>
+
<p> The <a href="#dfn-normal-form" class="internalDFN">normal form</a> of a PROV document
<span class="name">(B<sub>0</sub>,[b<sub>1</sub>=B<sub>1</sub>,...,[b<sub>n</sub>=B<sub>n</sub>])</span> is <span class="name">(B'<sub>0</sub>,[b<sub>1</sub>=B'<sub>1</sub>,...,b<sub>n</sub>=B'<sub>n</sub>])</span>