src/HOL/Library/Product_ord.thy
2005-04-15 nipkow 2005-04-15 New