Update Tangle_Algebra.thy