src/Pure/ex/Alternative_Headings_Examples.thy

treat map_filter similar to list_all, list_ex, list_ex1

(*  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