Create Tangles.thy