--- a/Paper/document/root.bib	Thu Jun 28 11:25:26 2012 +0000
+++ b/Paper/document/root.bib	Fri Aug 10 13:54:21 2012 +0000
@@ -8,8 +8,6 @@
   pages = {173--190}
 }
 
-
-
 @Unpublished{KraussNipkow11,
   author = 	 {A.~Kraus and T.~Nipkow},
   title = 	 {{P}roof {P}earl: {R}egular {E}xpression {E}quivalence and {R}elation {A}lgebra},