This commit was manufactured by cvs2svn to create tag 'buildscript'.

[IRC.git] /

[], true => e in Example;
[forall l in Example], true => <l, l.x> in X;
[forall l in Example], true => <l, l.y> in Y;
[forall l in Example], true => <l, l.z> in Z;