Theory ICF_Gen_Algo_Chapter

(*<*)
theory ICF_Gen_Algo_Chapter imports Main begin
(*>*)
text_raw ‹\isasection{Generic Algorithms} \label{ch:GA}›
(*<*)
 end
(*>*)