Update Link_Equivalence_Theorems.thy