Changes

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

Summary

  1. added lemmas domain_comp and unify_gives_minimal_domain
Changeset 75638:aaa22adef039 by desharna:
added lemmas domain_comp and unify_gives_minimal_domain
The file was modifiedsrc/HOL/ex/Unification.thy