rewrite section on first analysis
improve introduction
update introduction
more improvements on intro to section on formal verification
fix multiply defined labels
start using report style (which seems pretty broken)
add new version for nested loops
intermediate state
remove stuff not need from tex file
add \mainmatter to fix numbering issues
Merge branch 'master' of github.com:jensgerlach/validation
recover version from Modified3
add assertion of version 4
put inverse_modulo into a separate file
add file for lemma
start with intro of spec section
adapat layout of contract
Merge branch 'master' of github.com:jensgerlach/validation
start describing spec of Bitwalker_peek
fix value in ensures clause