Update Tangles.thy

Framed link equivalence implies Link equivalence remains to be proved.