Started by an SCM change0033274780527478051.00122342122342aaa22adef0399943944278419b66e7cf6dcdb56a7563812de1f883dc06512622017db30f3d21f5ea91c8e12743afpfalse#370927478051094709isabelle-all #37093709falsefalse37092301SUCCESS1656531664692https://ci.isabelle.systems/jenkins/job/isabelle-all/3709/workermtahpcsrc/HOL/ex/Unification.thyaaa22adef0399943944278419b66e7cf6dcdb56a1656528089000https://ci.isabelle.systems/jenkins/user/desharnadesharna1656528089.0-7200falsesrc/HOL/ex/Unification.thyadded lemmas domain_comp and unify_gives_minimal_domainaaa22adef0399943944278419b66e7cf6dcdb56a75638hghttps://ci.isabelle.systems/jenkins/user/desharnadesharna