--- a/thys2/Recs.thy	Wed May 22 13:50:20 2013 +0100
+++ b/thys2/Recs.thy	Fri May 24 15:43:10 2013 +0100
@@ -775,6 +775,8 @@
   "enclen 0 = 0"
 by (simp add: enclen_def)
 
+
+
 section {* Discrete Logarithms *}
 
 definition