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