changeset 30496 | 7cdcc9dd95cb |
parent 30457 | 28b487cd9e15 |
child 30499 | 1a1a9ca977d6 |
--- a/src/HOL/IsaMakefile Thu Mar 12 18:01:25 2009 +0100 +++ b/src/HOL/IsaMakefile Thu Mar 12 18:01:26 2009 +0100 @@ -175,6 +175,7 @@ Tools/inductive_realizer.ML \ Tools/inductive_set_package.ML \ Tools/lin_arith.ML \ + Tools/nat_arith.ML \ Tools/old_primrec_package.ML \ Tools/primrec_package.ML \ Tools/prop_logic.ML \