author | urbanc |
Tue, 06 Feb 2007 00:53:15 +0100 | |
changeset 22247 | 5bad0d429694 |
parent 22246 | bbbcaa1fbff8 |
child 22248 | 74ea64617c89 |
--- a/src/HOL/IsaMakefile Tue Feb 06 00:43:23 2007 +0100 +++ b/src/HOL/IsaMakefile Tue Feb 06 00:53:15 2007 +0100 @@ -724,7 +724,7 @@ $(OUT)/HOL-Nominal: $(OUT)/HOL Nominal/ROOT.ML \ Nominal/Nominal.thy \ Nominal/nominal_atoms.ML \ - Nominal/nominal_induct.ML \ \ + Nominal/nominal_induct.ML \ Nominal/nominal_package.ML \ Nominal/nominal_permeq.ML \ Nominal/nominal_primrec.ML \