Added new sections, math.
rodger->roger; provesti==diss.dist
small corrections in manual.