Theory GenCF_Intf_Chapter

(*<*)
theory GenCF_Intf_Chapter imports Main begin 
(*>*)
text_raw ‹\isasection{Interfaces}›
(*<*)
end
(*>*)