work on logic specification
start with logic description of Bitwalker
-the first version of  specifications.  Its only the core and shoud be reviewed next time!
Merge pull request #11 from carand/master

core specifications of the struct functions
renaming of files
improve introduction
add files for intro and abstract
add some comments and page breaks
fix error in description of valid bit sequence
integrate informal spec from VnV user story
switch to report style
cleanup in tex file
fixed section bitwalker_init
spell check
specify object Locals
Merge pull request #12 from carand/master

fixed section bitwalker_init
minor adjustments
short review in section peek_next
Merge remote-tracking branch 'upstream/master'
removed command \locals