src/HOL/Library/List_lexord.thy
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header;
2013-12-25 haftmann 2013-12-25 prefer more canonical names for lemmas on min/max
2013-11-27 Andreas Lochbihler 2013-11-27 revert 4af7c82463d3 and document type class problem in Haskell
2013-11-20 Andreas Lochbihler 2013-11-20 no ord instance for String.literal in Haskell when list is also ordered lexicographically
2013-08-26 wenzelm 2013-08-26 tuned imports; tuned proofs;
2013-07-25 haftmann 2013-07-25 factored syntactic type classes for bot and top (by Alessandro Coglio)
2010-08-27 haftmann 2010-08-27 renamed class/constant eq to equal; tuned some instantiations
2010-07-12 haftmann 2010-07-12 dropped superfluous [code del]s
2010-06-21 haftmann 2010-06-21 added bot instances; tuned
2009-03-23 haftmann 2009-03-23 Main is (Complex_Main) base entry point in library theories
2008-10-10 haftmann 2008-10-10 `code func` now just `code`
2008-07-25 haftmann 2008-07-25 added class preorder
2008-07-07 haftmann 2008-07-07 absolute imports of HOL/*.thy theories
2008-06-26 haftmann 2008-06-26 established Plain theory and image
2008-01-02 haftmann 2008-01-02 removed some legacy instantiations
2007-12-10 haftmann 2007-12-10 switched import from Main to List
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-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