Update Link_Algebra.thy