proof layout
doc
moved Operation.thy
Merge branch 'master' of https://github.com/martinring/clide2