merge. roughly funcioning again. pb with ROOTs in this branch

.gitignore

C11-BackEnds/Clean/examples/Quicksort.thy

C11-BackEnds/Clean/src/Clean.thy

C11-BackEnds/Clean/src/MonadSE.thy

C11-BackEnds/Clean_wrapper/examples/Coder_Documentation.thy

C11-BackEnds/Clean_wrapper/examples/Coder_Test_Env_AEnv.thy

C11-BackEnds/Clean_wrapper/examples/Coder_Test_ExprStmt.thy

...BackEnds/Clean_wrapper/examples/Coder_Test_StmtTUnits.thy

C11-BackEnds/Clean_wrapper/examples/Coder_Test_TUnits.thy

C11-BackEnds/Clean_wrapper/src/.CleanCoder.thy.marks

C11-BackEnds/Clean_wrapper/src/CleanCoder.thy

C11-BackEnds/Clean_wrapper/src/CleanCoderTypAEnv.thy

C11-BackEnds/Clean_wrapper/src/CleanTranslationHook.thy

C11-BackEnds/Clean_wrapper/src/Clean_Wrapper.thy

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

C11-FrontEnd/examples/C5.thy

C11-FrontEnd/main/C_Main.thy

C11-FrontEnd/src/C_Ast.thy

C11-FrontEnd/src/C_Command.thy

C11-FrontEnd/src/C_Environment.thy