Added new file nominal_inductive.ML

--- a/src/HOL/Nominal/Nominal.thy	Tue Feb 13 18:16:50 2007 +0100
+++ b/src/HOL/Nominal/Nominal.thy	Tue Feb 13 18:17:28 2007 +0100
@@ -9,6 +9,7 @@
   ("nominal_induct.ML") 
   ("nominal_permeq.ML")
   ("nominal_primrec.ML")
+  ("nominal_inductive.ML")
 begin 
 
 section {* Permutations *}
@@ -3020,6 +3021,9 @@
 (** primitive recursive functions on nominal datatypes **)
 use "nominal_primrec.ML"
 
+(** inductive predicates involving nominal datatypes **)
+use "nominal_inductive.ML"
+
 (*****************************************)
 (* setup for induction principles method *)