src/HOL/Library/List_lexord.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-02-14 haftmann 2007-02-14 added class "preorder"
2007-01-25 haftmann 2007-01-25 improved
2006-11-22 haftmann 2006-11-22 added code lemmas
2005-08-31 wenzelm 2005-08-31 tuned presentation;
2005-04-15 nipkow 2005-04-15 New