5 header {* Order on product types *}

     1 header {* Order on product types *}

     6 

     2 

     7 theory Precedence_ord

     3 theory Precedence_ord

     8 imports Main

     4 imports Main

     9 begin

     5 begin