diff -r 4524c5edcafb -r 1e45b5b6482a thys2/Recs.thy
--- 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