Update Tangles.thy

metaequivalence_tripledrop in progress