Restoring non-uniform delta on local and global constants in 2nd order

unification for apply (compatibility reason). Waiting for another way
to provide a more uniform scheme by default (keyed unification?).

0 files changed, 0 insertions, 0 deletions