src/HOL/BNF_Wellorder_Relation.thy
2014-01-20 blanchet 2014-01-20 renamed '_FP' files to 'BNF_' files