| author | Luc Moreau <l.moreau@ecs.soton.ac.uk> |
| Fri, 20 Jul 2012 08:10:34 +0100 | |
| changeset 4185 | c700abb02583 |
| parent 4184 | ec5179942469 |
| child 4186 | 089f6f6d79f7 |
| model/prov-constraints.html |
--- a/model/prov-constraints.html Fri Jul 20 08:10:09 2012 +0100 +++ b/model/prov-constraints.html Fri Jul 20 08:10:34 2012 +0100 @@ -1651,7 +1651,7 @@ </div> -<div class='inference' id="end-type-inference"> +<div class='inference' id="invalidation-type-inference"> <p> <span class='conditional'>IF</span> <span class='name'>wasInvalidatedBy(id;e,a,t,attrs)</span>