| changeset 2919 | 953a47dc0519 |
| parent 2909 | 22a8a97b66be |
| child 2982 | 85c81d524655 |
--- a/src/HOL/IsaMakefile Mon Apr 07 14:53:08 1997 +0200 +++ b/src/HOL/IsaMakefile Tue Apr 08 10:48:42 1997 +0200 @@ -17,6 +17,7 @@ typedef.ML thy_syntax.ML thy_data.ML ../Pure/section_utils.ML \ ../Provers/hypsubst.ML ../Provers/classical.ML ../Provers/blast.ML \ ../Provers/simplifier.ML ../Provers/splitter.ML \ + ../Provers/nat_transitive.ML \ $(NAMES:%=%.thy) $(NAMES:%=%.ML) $(OUT)/HOL: $(OUT)/Pure $(FILES)