put all 'bnf_*.ML' files together, irrespective of bootstrapping/dependency constraints --HG-- rename : src/HOL/Library/bnf_axiomatization.ML => src/HOL/Tools/BNF/bnf_axiomatization.ML rename : src/HOL/Library/bnf_lfp_countable.ML => src/HOL/Tools/BNF/bnf_lfp_countable.ML
|