Delete Link_Algebra.thy