Delete Tangles_Older_Version.thy