
diff -r 762ee71498fa -r b38a54bbfbd6 src/CCL/Term.thy
--- a/src/CCL/Term.thy	Tue Nov 11 13:44:09 2014 +0100
+++ b/src/CCL/Term.thy	Tue Nov 11 13:50:56 2014 +0100
@@ -91,7 +91,6 @@
          val (x',a') = Syntax_Trans.variant_abs(x,T,a3)
      in Const(@{syntax_const "_letrec3"},dummyT) $ Free(f',SS) $ Free(x',T) $ Free(y',U) $ Free(z',V) $ a' $ b'
       end;
-
 *}
 
 parse_translation {*




