--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/Codatatype/BNF_Wrap.thy	Mon Sep 03 11:54:21 2012 +0200
@@ -0,0 +1,19 @@
+(*  Title:      HOL/Codatatype/BNF_Wrap.thy
+    Author:     Dmitriy Traytel, TU Muenchen
+    Copyright   2012
+
+Wrapping datatypes.
+*)
+
+header {* Wrapping Datatypes *}
+
+theory BNF_Wrap
+imports BNF_Def
+keywords
+  "wrap_data" :: thy_goal
+uses
+  "Tools/bnf_wrap_tactics.ML"
+  "Tools/bnf_wrap.ML"
+begin
+
+end