# HG changeset patch
# User urbanc
# Date 1137964310 -3600
# Node ID a4ece70964aebed031c967150a3ccd396bebbfa4
# Parent  060400dc077cb41ab063b720da438b5db2332db4
made the change for setup-functions not returning functions
anymore

diff -r 060400dc077c -r a4ece70964ae src/HOL/Nominal/nominal_atoms.ML
--- 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;