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
Merge pull request #203 from jensgerlach/master

describe contract and loop invariants of Bitwalker_Peek