diff -r 99cee15cb5ff -r 8d65817a52f7 Nominal/ExCoreHaskell.thy
--- a/Nominal/ExCoreHaskell.thy	Tue Mar 23 17:22:19 2010 +0100
+++ b/Nominal/ExCoreHaskell.thy	Tue Mar 23 17:22:37 2010 +0100
@@ -82,6 +82,9 @@
 | "bv_tvck TVCKNil = {}"
 | "bv_tvck (TVCKCons v k t) = {atom v} \<union> bv_tvck t"*)
 
+thm tkind_ckind_ty_ty_lst_co_co_lst_trm_assoc_lst_pat_tvtk_lst_tvck_lst_vt_lst.fv
+
+
 end