src/HOL/Library/Option_ord.thy
2008-03-07 haftmann 2008-03-07 added Option_ord.thy