Code-Search and some findings.

...nds/AutoCorres_wrapper/examples/IsPrime_sqrt_opt2_TCC.thy

C11-BackEnds/Clean/examples/LinearSearch.thy

C11-BackEnds/Clean/examples/Quicksort.thy

C11-BackEnds/Clean/examples/SquareRoot_concept.thy

C11-BackEnds/Clean/src/examples/Quicksort_concept.thy

C11-BackEnds/Clean_wrapper/examples/Coder_Example_1.thy

C11-FrontEnd/examples/C1.thy

C11-FrontEnd/examples/C4.thy

C11-FrontEnd/src/C_Ast.thy

C11-FrontEnd/src/C_Command.thy