src/HOL/Library/Option_ord.thy
2009-03-23 haftmann 2009-03-23 added instances for bot, top, wellorder
2008-10-10 haftmann 2008-10-10 `code func` now just `code`
2008-06-26 haftmann 2008-06-26 established Plain theory and image
2008-03-12 haftmann 2008-03-12 dropped dangerous antiquotation
2008-03-12 haftmann 2008-03-12 better improvement in instantiation target
2008-03-12 haftmann 2008-03-12 *** empty log message ***
2008-03-07 haftmann 2008-03-07 added Option_ord.thy