renamed '_FP' files to 'BNF_' files --HG-- rename : src/HOL/Cardinal_Arithmetic_FP.thy => src/HOL/BNF_Cardinal_Arithmetic.thy rename : src/HOL/Cardinal_Order_Relation_FP.thy => src/HOL/BNF_Cardinal_Order_Relation.thy rename : src/HOL/Constructions_on_Wellorders_FP.thy => src/HOL/BNF_Constructions_on_Wellorders.thy rename : src/HOL/Wellorder_Embedding_FP.thy => src/HOL/BNF_Wellorder_Embedding.thy rename : src/HOL/Wellorder_Relation_FP.thy => src/HOL/BNF_Wellorder_Relation.thy
|