TFL/examples/Subst/Unify.thy
changeset 2367 eba760ebe315
parent 2113 21266526ac42