25 \renewcommand{\isasymUnion}{$\bigcup$}

    25 \renewcommand{\isasymUnion}{$\bigcup$}

    26 

    26 

    27 \newcommand{\isasymsinglearr}{\singlearr}

    27 \newcommand{\isasymsinglearr}{\singlearr}

    28 \newcommand{\isasymdoublearr}{\doublearr}

    28 \newcommand{\isasymdoublearr}{\doublearr}

    29 

    29 

    30 \begin{document}

    31 \begin{document}

    31 

    32 

    32 \title{Quotients Revisited for Isabelle/HOL}

    33 \title{Quotients Revisited for Isabelle/HOL}

    33 \author{Cezary Kaliszyk$^*$ and Christian Urban$^*$}

    34 \author{Cezary Kaliszyk$^*$ and Christian Urban$^*$}

    34 \institute{$^*$ Technical University of Munich, Germany}

    35 \institute{$^*$ Technical University of Munich, Germany}