Docs of checksysodesol and dsolve

This PR is for docs of checksysodesol and dsolve and for resolving few small mistakes
x(t), not (x).