Unification/Fresh.thy
changeset 459 c27d96cf68a8
parent 107 5c816239deaa
equal deleted inserted replaced
458:0647d8161a84 459:c27d96cf68a8