--- a/Nominal/Ex/CoreHaskell.thy	Wed Aug 25 09:02:06 2010 +0800
+++ b/Nominal/Ex/CoreHaskell.thy	Wed Aug 25 11:58:37 2010 +0800
@@ -110,7 +110,6 @@
   val _ = timeit (fn () => map (lift_thm @{context} qtys []) @{thms distinct})
 *}
 
-
 ML {* 
   val _ = timeit (fn () => map (lift_thm @{context} qtys []) @{thms tkind_raw_ckind_raw_ty_raw_ty_lst_raw_co_raw_co_lst_raw_trm_raw_assoc_lst_raw_pat_raw_vars_raw_tvars_raw_cvars_raw.induct})
 *}