Jean-Philippe Bernardy <bernardy at chalmers.se> wrote: > * use 'subst' on the equality of choice at the moment you need it. > Unfortunately that is a bit tedious. What is 'subst'???