Merge branch 'C' into C_draft_202004

C11-BackEnds/AutoCorres_wrapper/examples/IsPrime_sqrt_CAS.thy

@@ -173,13 +173,6 @@ text\<open> This C code contains a function that determines if the given number
       This is a faster version than a linear primality test; runs in O(sqrt(n)). \<close>
 
 declare [[AutoCorres]]
-(*
-C \<open>
-//  Setup of AutoCorres for semantically representing this C element.
-//@ install_autocorres is_prime [ ts_rules = nondet, unsigned_word_abs =  is_prime ]
-int A;  /* dummy */
-\<close>
-*)
 
 setup \<open>C_Module.C_Term.map_expression
         (fn expr => fn _ => fn _ =>