Merge branch 'C_draft' into C_draft_20190506

C11-FrontEnd/C_DOF.thy

C11-FrontEnd/C_Intro.thy

C11-FrontEnd/ROOT

C11-FrontEnd/document/README.thy

C11-FrontEnd/document/Rail.thy

C11-FrontEnd/examples/C1.thy

C11-FrontEnd/examples/C3.thy

C11-FrontEnd/examples/tp-preuve-c/README

C11-FrontEnd/examples/tp-preuve-c/intro.thy

C11-FrontEnd/examples/tp-preuve-c/tp06a.c

C11-FrontEnd/examples/tp-preuve-c/tp06a.thy

C11-FrontEnd/examples/tp-preuve-c/tp06b.thy

C11-FrontEnd/generated/c_grammar_fun.grm.sig

C11-FrontEnd/semantic-backends/CLEAN/Clean.thy

C11-FrontEnd/semantic-backends/CLEAN/MonadSE.thy

C11-FrontEnd/src/C_Ast.thy

C11-FrontEnd/src/C_Environment.thy

C11-FrontEnd/src/C_Parser_Annotation.thy

Citadelle/LICENSE

Citadelle/LICENSE.thy