make WWW_Find work again, now that its ML modules reside within a theory context (cf. bf5b45870110) -- patch by Rafal Kolanski;
(* Title: HOL/BNF/BNF.thy
Author: Dmitriy Traytel, TU Muenchen
Author: Andrei Popescu, TU Muenchen
Author: Jasmin Blanchette, TU Muenchen
Copyright 2012
Bounded natural functors for (co)datatypes.
*)
header {* Bounded Natural Functors for (Co)datatypes *}
theory BNF
imports More_BNFs
begin
end