src/HOL/Library/Option_ord.thy
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