Theory ICF_Spec_Chapter

(*<*)
theory ICF_Spec_Chapter imports Main begin 
(*>*)
text_raw ‹\isasection{Specifications} \label{ch:specs}›
(*<*)
end
(*>*)