made the change for setup-functions not returning functions
anymore

--- a/src/HOL/Nominal/nominal_atoms.ML	Sun Jan 22 21:58:43 2006 +0100
+++ b/src/HOL/Nominal/nominal_atoms.ML	Sun Jan 22 22:11:50 2006 +0100
@@ -5,7 +5,7 @@
   val create_nom_typedecls : string list -> theory -> theory
   val atoms_of : theory -> string list
   val mk_permT : typ -> typ
-  val setup : (theory -> theory) list
+  val setup : theory -> theory
 end
 
 structure NominalAtoms : NOMINAL_ATOMS =
@@ -784,6 +784,6 @@
 
 val _ = OuterSyntax.add_parsers [atom_declP];
 
-val setup = [NominalData.init];
+val setup = NominalData.init;
 
 end;