--- a/src/HOL/Nominal/Nominal.thy Sun Oct 01 18:29:25 2006 +0200
+++ b/src/HOL/Nominal/Nominal.thy Sun Oct 01 18:29:26 2006 +0200
@@ -1,7 +1,7 @@
(* $Id$ *)
theory Nominal
-imports Main
+imports Main Infinite_Set
uses
("nominal_atoms.ML")
("nominal_package.ML")