src/HOL/Subst/Unifier.thy
changeset 1574 5a63ab90ee8a
parent 1476 608483c2122a
child 3192 a75558a4ed37