--- a/Nominal/nominal_dt_rawperm.ML	Sat May 22 13:51:47 2010 +0100
+++ b/Nominal/nominal_dt_rawperm.ML	Sun May 23 02:15:24 2010 +0100
@@ -27,7 +27,6 @@
     - in case the argument is non-recursive it will return
 
          p o arg
-
 *)
 fun perm_arg permute_fn_frees p (arg_dty, arg) =
   if Datatype_Aux.is_rec_type arg_dty