Unification/Mgu.thy
changeset 465 4dac76eb27d9
parent 107 5c816239deaa