Rename Link_Algebra to Link_Algebra.thy