Docs of dsolve for system of ODEs