--- a/src/HOL/Nominal/Nominal.thy Sun May 06 21:50:17 2007 +0200
+++ b/src/HOL/Nominal/Nominal.thy Mon May 07 00:49:59 2007 +0200
@@ -3226,7 +3226,6 @@
(* setup for the individial atom-kinds *)
(* and nominal datatypes *)
use "nominal_atoms.ML"
-setup "NominalAtoms.setup"
(************************************************************)
(* various tactics for analysing permutations, supports etc *)
@@ -3288,7 +3287,6 @@
(************************************************)
(* main file for constructing nominal datatypes *)
use "nominal_package.ML"
-setup "NominalPackage.setup"
(******************************************************)
(* primitive recursive functions on nominal datatypes *)