--- a/Nominal/Ex/Ex2.thy	Thu Jun 03 15:02:52 2010 +0200
+++ b/Nominal/Ex/Ex2.thy	Mon Jun 07 11:43:01 2010 +0200
@@ -23,7 +23,6 @@
 | "f (PD x y) = {atom x, atom y}"
 | "f (PS x) = {atom x}"
 
-
 thm fv_trm_raw.simps[no_vars] fv_pat_raw.simps[no_vars] fv_f_raw.simps[no_vars] f_raw.simps[no_vars]
 thm alpha_trm_raw_alpha_pat_raw_alpha_f_raw.intros[no_vars]