# HG changeset patch
# User berghofe
# Date 1171387165 -3600
# Node ID d541f13756a2c4cc55ae65c0d3d0465373dcc33e
# Parent  1a507b463f50eaeee03f2be1d85d7560967fb730
Added new file Nominal/nominal_inductive.ML

diff -r 1a507b463f50 -r d541f13756a2 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Tue Feb 13 18:18:45 2007 +0100
+++ b/src/HOL/IsaMakefile	Tue Feb 13 18:19:25 2007 +0100
@@ -725,6 +725,7 @@
   Nominal/Nominal.thy \
   Nominal/nominal_atoms.ML \
   Nominal/nominal_induct.ML \
+  Nominal/nominal_inductive.ML \
   Nominal/nominal_package.ML \
   Nominal/nominal_permeq.ML \
   Nominal/nominal_primrec.ML \