Theory ICF_Impl_Chapter

(*<*)
theory ICF_Impl_Chapter imports Main begin 
(*>*)
text_raw ‹\isasection{Implementations} \label{ch:Impl}›
(*<*)
end
(*>*)