Update Tangles.thy

Cleaned up Tangles.thy