Changes

Changeset 63573:8976c5bc9e97 by wenzelm:
more restrictive retrieval of rules for matching instead of unification -- relevant for performance of printing terms;