Rename Tangle-Algebra.thy to Tangle_Algebra.thy