1 header {* Pretty syntax for Quotient operations *}

     5 header {* Pretty syntax for Quotient operations *}

     2 

     6 

     3 (*<*)

     7 (*<*)

     4 theory Quotient_Syntax

     8 theory Quotient_Syntax

     5 imports Quotient

     9 imports Quotient