(* Title: Pure/ex/Alternative_Headings_Examples.thy Author: Makarius *) chapter ‹Some examples of alternative document headings› theory Alternative_Headings_Examples imports Alternative_Headings begin section ‹Regular section› subsection ‹Regular subsection› subsubsection ‹Regular subsubsection› subsubsection* ‹Alternative subsubsection› subsection* ‹Alternative subsection› section* ‹Alternative section› end