
diff -r ad426ba60606 -r de5c9a0040ec Nominal/Nominal2_Abs.thy
--- a/Nominal/Nominal2_Abs.thy	Mon Jun 27 19:13:55 2011 +0100
+++ b/Nominal/Nominal2_Abs.thy	Mon Jun 27 19:15:18 2011 +0100
@@ -786,7 +786,6 @@
 apply(blast)+
 done
 
-
 lemma Abs1_eq_iff:
   fixes x::"'a::fs"
   assumes "sort_of a = sort_of b"




