src/HOL/Library/Product_ord.thy
2007-12-18 haftmann 2007-12-18 switched from PreList to ATP_Linkup
2007-12-10 haftmann 2007-12-10 switched import from Main to PreList
2007-12-07 haftmann 2007-12-07 instantiation target rather than legacy instance
2007-11-29 haftmann 2007-11-29 instance command as rudimentary class target
2007-05-06 haftmann 2007-05-06 changed code generator invocation syntax
2007-04-20 haftmann 2007-04-20 Isar definitions are now added explicitly to code theorem table
2007-03-20 haftmann 2007-03-20 added instance for lattice
2007-01-25 haftmann 2007-01-25 improved
2006-11-22 haftmann 2006-11-22 added code lemmas
2006-05-27 wenzelm 2006-05-27 tuned;
2005-08-31 wenzelm 2005-08-31 tuned presentation;
2005-04-15 nipkow 2005-04-15 New