--- a/semantics/prov-sem.html	Fri Apr 05 18:34:52 2013 +0100
+++ b/semantics/prov-sem.html	Fri Apr 05 18:36:16 2013 +0100
@@ -1684,7 +1684,7 @@
 </li>
 <li>A function $used : Usages \to Activities \times Entities$ such
 that $used(use) = (a,e)$ implies $use \in
-events(a) \cap events(e) \cap events(a')$.
+events(a) \cap events(e)$.
 </li>
 <li>A function $generated : Generations \to Entities \times
 Activities$ such that $generated(gen) = (a,e)$ implies $gen \in

--- a/semantics/releases/NOTE-prov-sem-20130430/Overview.html	Fri Apr 05 18:34:52 2013 +0100
+++ b/semantics/releases/NOTE-prov-sem-20130430/Overview.html	Fri Apr 05 18:36:16 2013 +0100
@@ -1565,8 +1565,8 @@
 events(a) \cap events(e) \cap events(a')</script>.
 </li>
 <li>A function <span class="MathJax_Preview"></span><span class="MathJax_MathML" id="MathJax-Element-164-Frame" style="font-size: 100%; "><span class="MathJax_MathContainer" style="position: relative; display: inline-block; white-space: nowrap; "><span style="display: inline-block; "><math xmlns="http://www.w3.org/1998/Math/MathML"><mi>u</mi><mi>s</mi><mi>e</mi><mi>d</mi><mo stretchy="false">:</mo><mi>U</mi><mi>s</mi><mi>a</mi><mi>g</mi><mi>e</mi><mi>s</mi><mo stretchy="false">→</mo><mi>A</mi><mi>c</mi><mi>t</mi><mi>i</mi><mi>v</mi><mi>i</mi><mi>t</mi><mi>i</mi><mi>e</mi><mi>s</mi><mo stretchy="false">×</mo><mi>E</mi><mi>n</mi><mi>t</mi><mi>i</mi><mi>t</mi><mi>i</mi><mi>e</mi><mi>s</mi></math></span></span></span><script type="math/tex" id="MathJax-Element-164">used : Usages \to Activities \times Entities</script> such
-that <span class="MathJax_Preview"></span><span class="MathJax_MathML" id="MathJax-Element-165-Frame" style="font-size: 100%; "><span class="MathJax_MathContainer" style="position: relative; display: inline-block; white-space: nowrap; "><span style="display: inline-block; "><math xmlns="http://www.w3.org/1998/Math/MathML"><mi>u</mi><mi>s</mi><mi>e</mi><mi>d</mi><mo stretchy="false">(</mo><mi>u</mi><mi>s</mi><mi>e</mi><mo stretchy="false">)</mo><mo stretchy="false">=</mo><mo stretchy="false">(</mo><mi>a</mi><mo stretchy="false">,</mo><mi>e</mi><mo stretchy="false">)</mo></math></span></span></span><script type="math/tex" id="MathJax-Element-165">used(use) = (a,e)</script> implies <span class="MathJax_Preview"></span><span class="MathJax_MathML" id="MathJax-Element-166-Frame" style="font-size: 100%; "><span class="MathJax_MathContainer" style="position: relative; display: inline-block; white-space: nowrap; "><span style="display: inline-block; "><math xmlns="http://www.w3.org/1998/Math/MathML"><mi>u</mi><mi>s</mi><mi>e</mi><mo stretchy="false">∈</mo><mi>e</mi><mi>v</mi><mi>e</mi><mi>n</mi><mi>t</mi><mi>s</mi><mo stretchy="false">(</mo><mi>a</mi><mo stretchy="false">)</mo><mo stretchy="false">∩</mo><mi>e</mi><mi>v</mi><mi>e</mi><mi>n</mi><mi>t</mi><mi>s</mi><mo stretchy="false">(</mo><mi>e</mi><mo stretchy="false">)</mo><mo stretchy="false">∩</mo><mi>e</mi><mi>v</mi><mi>e</mi><mi>n</mi><mi>t</mi><mi>s</mi><mo stretchy="false">(</mo><msup><mi>a</mi><mo>′</mo></msup><mo stretchy="false">)</mo></math></span></span></span><script type="math/tex" id="MathJax-Element-166">use \in
-events(a) \cap events(e) \cap events(a')</script>.
+that <span class="MathJax_Preview"></span><span class="MathJax_MathML" id="MathJax-Element-165-Frame" style="font-size: 100%; "><span class="MathJax_MathContainer" style="position: relative; display: inline-block; white-space: nowrap; "><span style="display: inline-block; "><math xmlns="http://www.w3.org/1998/Math/MathML"><mi>u</mi><mi>s</mi><mi>e</mi><mi>d</mi><mo stretchy="false">(</mo><mi>u</mi><mi>s</mi><mi>e</mi><mo stretchy="false">)</mo><mo stretchy="false">=</mo><mo stretchy="false">(</mo><mi>a</mi><mo stretchy="false">,</mo><mi>e</mi><mo stretchy="false">)</mo></math></span></span></span><script type="math/tex" id="MathJax-Element-165">used(use) = (a,e)</script> implies <span class="MathJax_Preview"></span><span class="MathJax_MathML" id="MathJax-Element-166-Frame" style="font-size: 100%; "><span class="MathJax_MathContainer" style="position: relative; display: inline-block; white-space: nowrap; "><span style="display: inline-block; "><math xmlns="http://www.w3.org/1998/Math/MathML"><mi>u</mi><mi>s</mi><mi>e</mi><mo stretchy="false">∈</mo><mi>e</mi><mi>v</mi><mi>e</mi><mi>n</mi><mi>t</mi><mi>s</mi><mo stretchy="false">(</mo><mi>a</mi><mo stretchy="false">)</mo><mo stretchy="false">∩</mo><mi>e</mi><mi>v</mi><mi>e</mi><mi>n</mi><mi>t</mi><mi>s</mi><mo stretchy="false">(</mo><mi>e</mi><mo stretchy="false">)</mo></math></span></span></span><script type="math/tex" id="MathJax-Element-166">use \in
+events(a) \cap events(e)</script>.
 </li>
 <li>A function <span class="MathJax_Preview"></span><span class="MathJax_MathML" id="MathJax-Element-167-Frame" style="font-size: 100%; "><span class="MathJax_MathContainer" style="position: relative; display: inline-block; white-space: nowrap; "><span style="display: inline-block; "><math xmlns="http://www.w3.org/1998/Math/MathML"><mi>g</mi><mi>e</mi><mi>n</mi><mi>e</mi><mi>r</mi><mi>a</mi><mi>t</mi><mi>e</mi><mi>d</mi><mo stretchy="false">:</mo><mi>G</mi><mi>e</mi><mi>n</mi><mi>e</mi><mi>r</mi><mi>a</mi><mi>t</mi><mi>i</mi><mi>o</mi><mi>n</mi><mi>s</mi><mo stretchy="false">→</mo><mi>E</mi><mi>n</mi><mi>t</mi><mi>i</mi><mi>t</mi><mi>i</mi><mi>e</mi><mi>s</mi><mo stretchy="false">×</mo><mi>A</mi><mi>c</mi><mi>t</mi><mi>i</mi><mi>v</mi><mi>i</mi><mi>t</mi><mi>i</mi><mi>e</mi><mi>s</mi></math></span></span></span><script type="math/tex" id="MathJax-Element-167">generated : Generations \to Entities \times
 Activities</script> such that <span class="MathJax_Preview"></span><span class="MathJax_MathML" id="MathJax-Element-168-Frame" style="font-size: 100%; "><span class="MathJax_MathContainer" style="position: relative; display: inline-block; white-space: nowrap; "><span style="display: inline-block; "><math xmlns="http://www.w3.org/1998/Math/MathML"><mi>g</mi><mi>e</mi><mi>n</mi><mi>e</mi><mi>r</mi><mi>a</mi><mi>t</mi><mi>e</mi><mi>d</mi><mo stretchy="false">(</mo><mi>g</mi><mi>e</mi><mi>n</mi><mo stretchy="false">)</mo><mo stretchy="false">=</mo><mo stretchy="false">(</mo><mi>a</mi><mo stretchy="false">,</mo><mi>e</mi><mo stretchy="false">)</mo></math></span></span></span><script type="math/tex" id="MathJax-Element-168">generated(gen) = (a,e)</script> implies <span class="MathJax_Preview"></span><span class="MathJax_MathML" id="MathJax-Element-169-Frame" style="font-size: 100%; "><span class="MathJax_MathContainer" style="position: relative; display: inline-block; white-space: nowrap; "><span style="display: inline-block; "><math xmlns="http://www.w3.org/1998/Math/MathML"><mi>g</mi><mi>e</mi><mi>n</mi><mo stretchy="false">∈</mo><mi>e</mi><mi>v</mi><mi>e</mi><mi>n</mi><mi>t</mi><mi>s</mi><mo stretchy="false">(</mo><mi>a</mi><mo stretchy="false">)</mo><mo stretchy="false">∩</mo><mi>e</mi><mi>v</mi><mi>e</mi><mi>n</mi><mi>t</mi><mi>s</mi><mo stretchy="false">(</mo><mi>e</mi><mo stretchy="false">)</mo></math></span></span></span><script type="math/tex" id="MathJax-Element-169">gen \in

Binary file semantics/releases/NOTE-prov-sem-20130430/prov-sem.pdf has changed