-
POTTIER Francois authored
so that substitution succeeds even if there are names of type ['fn] which the substitution does not rewrite.
a807e559
so that substitution succeeds even if there are names of type ['fn] which the substitution does not rewrite.