Update example.thy