src/HOL/Library/Product_ord.thy
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