Hamiltonian systems with spin

In this note we give a brief exposition of the mathematical foundations of the theory of spin for both classical and quantum mechanical systems on oriented Riemannian manifolds. We shall use freely the notations and theory developed in Abraham [1] and Marsden [2, 3]. From the physical point of view nothing new appears. The whole purpose of the note is to explain how the theory fits in the spirit of [1].