src/HOL/Library/Product_ord.thy
changeset 17200 3a4d03d1a31b
parent 15737 c7e522520910
child 19736 d8d0f8f51d69
     1.1 --- a/src/HOL/Library/Product_ord.thy	Wed Aug 31 15:46:36 2005 +0200
     1.2 +++ b/src/HOL/Library/Product_ord.thy	Wed Aug 31 15:46:37 2005 +0200
     1.3 @@ -3,7 +3,7 @@
     1.4      Author:     Norbert Voelker
     1.5  *)
     1.6  
     1.7 -header {* Instantiation of order classes for product types *}
     1.8 +header {* Order on product types *}
     1.9  
    1.10  theory Product_ord
    1.11  imports Main