Theory Doc_Generated

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

text_raw ‹\part{Generated Isabelle code}›

(*<*)
end
(*>*)