diff -r 685d95c793ff -r 23e6cfda8c4b src/HOL/Nominal/Nominal.thy
--- a/src/HOL/Nominal/Nominal.thy	Fri Oct 28 16:35:40 2005 +0200
+++ b/src/HOL/Nominal/Nominal.thy	Fri Oct 28 16:43:46 2005 +0200
@@ -2288,6 +2288,7 @@
 (*******************************)
 (* permutation equality tactic *)
 use "nominal_permeq.ML";
+
 method_setup perm_simp =
   {* perm_eq_meth *}
   {* tactic for deciding equalities involving permutations *}