updated copyright notices in order to avoid ambiguity.

C11-BackEnds/AutoCorres_wrapper/examples/BinarySearch.thy

C11-BackEnds/AutoCorres_wrapper/examples/CList.thy

C11-BackEnds/AutoCorres_wrapper/examples/FactorialTest.thy

C11-BackEnds/AutoCorres_wrapper/examples/FibProof.thy

...ckEnds/AutoCorres_wrapper/examples/IsPrime_linear_CCT.thy

...BackEnds/AutoCorres_wrapper/examples/IsPrime_sqrt_CAS.thy

...BackEnds/AutoCorres_wrapper/examples/IsPrime_sqrt_TCC.thy

C11-BackEnds/AutoCorres_wrapper/examples/ListRev.thy

C11-BackEnds/AutoCorres_wrapper/examples/Memcpy.thy

C11-BackEnds/AutoCorres_wrapper/examples/Memset.thy

C11-BackEnds/AutoCorres_wrapper/examples/MultByAdd.thy

C11-BackEnds/AutoCorres_wrapper/examples/Parse_for_loop.thy

C11-BackEnds/AutoCorres_wrapper/examples/Plus.thy

C11-BackEnds/AutoCorres_wrapper/examples/Quicksort.thy

C11-BackEnds/AutoCorres_wrapper/examples/SchorrWaite.thy

C11-BackEnds/AutoCorres_wrapper/examples/Simple.thy