Some function space laws of the iterated logarithm for Brownian motion with values in finite and infinite dimensional vector spaces are shown to follow from Hincin's classical law of the iterated logarithm and some martingale techniques. A law of the iterated logarithm for Brownian motion in a differentible manifold is also stated.