Delete Link_Equivalence_Theorems.thy