| changeset 2921 | aee40b88a0ad |
| parent 2889 | a86f3b5f3cc7 |
| child 2982 | 85c81d524655 |
--- a/src/HOL/Makefile Tue Apr 08 12:03:59 1997 +0200 +++ b/src/HOL/Makefile Wed Apr 09 12:31:11 1997 +0200 @@ -30,6 +30,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) $(BIN)/HOL: $(BIN)/Pure $(FILES)