Theory Doc_Generated

(*<*)
theory Doc_Generated
imports Main
begin
(*>*)

text_raw ‹\part{Generated Isabelle code}›

(*<*)
end
(*>*)