Add documentation.
Work on report.
Work a little bit on Isabelle ...