Update Tangles_update.thy

Meta_equivalence1 - Proved