Merge branch 'C' of lri-git:ftuong/isabelle_c into C

C11-BackEnds/AutoCorres_wrapper/ROOT

C11-BackEnds/AutoCorres_wrapper/examples/IsPrime_TEC.thy

...ckEnds/AutoCorres_wrapper/examples/IsPrime_integrated.thy

...ckEnds/AutoCorres_wrapper/examples/IsPrime_linear_CET.thy

...BackEnds/AutoCorres_wrapper/examples/IsPrime_sqrt_CET.thy

...Ends/AutoCorres_wrapper/examples/IsPrime_sqrt_opt_CET.thy

C11-BackEnds/Clean/examples/Quicksort_concept.thy

C11-BackEnds/Clean/examples/SquareRoot_concept.thy

C11-BackEnds/Clean/src/Clean.thy

C11-BackEnds/Clean/src/Clean_Symbex.thy

C11-BackEnds/Clean/src/Hoare_Clean.thy

C11-BackEnds/Clean/src/Lens_Laws.thy

C11-BackEnds/Clean/src/Optics.thy

C11-BackEnds/Clean/src/Test_Clean.thy

C11-BackEnds/Clean_wrapper/src/Clean_Wrapper.thy

C11-BackEnds/Clean_wrapper/src/compiler/Core.thy

C11-FrontEnd/examples/C0.thy

README.thy