Delete Tangle_Algebra.thy