Subst/unifier.ML
changeset 68 acad709cad5d
parent 48 21291189b51e