We provide the main features of Lyapunov theory when it is formulated for fractional order systems. We give consistent extensions of Lyapunov, LaSalle and Chetaev classical theorems to the case of fractional order systems. ...