src/HOL/Library/Product_Order.thy
changeset 63972 c98d1dd7eba1
parent 63561 fba08009ff3e
child 67091 1393c2340eec
--- a/src/HOL/Library/Product_Order.thy	Fri Sep 30 15:35:37 2016 +0200
+++ b/src/HOL/Library/Product_Order.thy	Fri Sep 30 15:35:43 2016 +0200
@@ -5,7 +5,7 @@
 section \<open>Pointwise order on product types\<close>
 
 theory Product_Order
-imports Product_plus
+imports Product_Plus
 begin
 
 subsection \<open>Pointwise ordering\<close>