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
describe firt behavior
finish sextion of spec of Bitwalker_Peek
start with description of loop invariants of peek
write on loop invariant of peek
minor fix in layout
describe steps of demo