diff -r c33cfa1e813a -r 5bc72d6d633d thys/Re1.thy
--- a/thys/Re1.thy	Thu Jan 29 23:39:08 2015 +0000
+++ b/thys/Re1.thy	Thu Jan 29 23:42:44 2015 +0000
@@ -1,4 +1,4 @@
-
+   
 theory Re1
   imports "Main" 
 begin