no more aliases for Local_Theory.note; use Thm.close_derivation in internal theorems;
(* Title: HOL/Codatatype/Codatatype.thy
Author: Dmitriy Traytel, TU Muenchen
Author: Andrei Popescu, TU Muenchen
Author: Jasmin Blanchette, TU Muenchen
Copyright 2012
The (co)datatype package.
*)
header {* The (Co)datatype Package *}
theory Codatatype
imports BNF_Wrap BNF_LFP BNF_GFP
begin
end