# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1422574964 0
# Node ID 5bc72d6d633d5be2bec0e1c4598a1fac15a347cf
# Parent  c33cfa1e813adf8997b3209b93b9251ac39e0a2a
updated

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