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