changeset 30499 | 1a1a9ca977d6 |
parent 30474 | 52e92009aacb |
parent 30496 | 7cdcc9dd95cb |
child 30654 | 254478a8dd05 |
--- a/src/HOL/IsaMakefile Thu Mar 12 22:16:25 2009 +0100 +++ b/src/HOL/IsaMakefile Thu Mar 12 23:01:25 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 \