Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. tuned proof
Changeset 75639:b8bd01897578 by desharna:
tuned proof
The file was modifiedsrc/HOL/ex/Unification.thy