PCC: Final proof definition + resolution
PCC: LUnits example
PCC: experiment and conclusion
PCC: corrections (spell checker)
PCC: Final version (perhaps)
Merge branch 'develop' of https://github.com/Jogo27/ResK-GSoC into develop