src/HOL/BNF_Wellorder_Relation.thy
2014-01-30 traytel 2014-01-30 define ofilter outside of wo_rel
2014-01-22 blanchet 2014-01-22 whitespace tuning
2014-01-20 blanchet 2014-01-20 tuned comments
2014-01-20 blanchet 2014-01-20 renamed '_FP' files to 'BNF_' files