isabelle: src/HOL/Codatatype/BNF_Wrap.thy@ed769978dc8d (annotated)

49075 ed769978dc8d rearrange dependencies blanchet parents: diff changeset	1	(* Title: HOL/Codatatype/BNF_Wrap.thy
ed769978dc8d rearrange dependencies blanchet parents: diff changeset	2	Author: Dmitriy Traytel, TU Muenchen
ed769978dc8d rearrange dependencies blanchet parents: diff changeset	3	Copyright 2012
ed769978dc8d rearrange dependencies blanchet parents: diff changeset	4
ed769978dc8d rearrange dependencies blanchet parents: diff changeset	5	Wrapping datatypes.
ed769978dc8d rearrange dependencies blanchet parents: diff changeset	6	*)
ed769978dc8d rearrange dependencies blanchet parents: diff changeset	7
ed769978dc8d rearrange dependencies blanchet parents: diff changeset	8	header {* Wrapping Datatypes *}
ed769978dc8d rearrange dependencies blanchet parents: diff changeset	9
ed769978dc8d rearrange dependencies blanchet parents: diff changeset	10	theory BNF_Wrap
ed769978dc8d rearrange dependencies blanchet parents: diff changeset	11	imports BNF_Def
ed769978dc8d rearrange dependencies blanchet parents: diff changeset	12	keywords
ed769978dc8d rearrange dependencies blanchet parents: diff changeset	13	"wrap_data" :: thy_goal
ed769978dc8d rearrange dependencies blanchet parents: diff changeset	14	uses
ed769978dc8d rearrange dependencies blanchet parents: diff changeset	15	"Tools/bnf_wrap_tactics.ML"
ed769978dc8d rearrange dependencies blanchet parents: diff changeset	16	"Tools/bnf_wrap.ML"
ed769978dc8d rearrange dependencies blanchet parents: diff changeset	17	begin
ed769978dc8d rearrange dependencies blanchet parents: diff changeset	18
ed769978dc8d rearrange dependencies blanchet parents: diff changeset	19	end

author	blanchet
	Mon, 03 Sep 2012 11:54:21 +0200
changeset 49075	ed769978dc8d
child 49278	718e4ad1517e
permissions	-rw-r--r--