src/HOL/ex/Unification.thy
2007-05-17 krauss 2007-05-17 Added unification case study (using new function package)