--- a/src/HOLCF/Makefile Thu Apr 24 10:39:00 1997 +0200
+++ b/src/HOLCF/Makefile Thu Apr 24 10:40:01 1997 +0200
@@ -33,7 +33,11 @@
ONLYTHYS = Lift.thy
-FILES = ROOT.ML $(THYS) $(ONLYTHYS) $(THYS:.thy=.ML)
+FILES = ROOT.ML $(THYS) $(ONLYTHYS) $(THYS:.thy=.ML) \
+ ax_ops/holcflogic.ML ax_ops/thy_axioms.ML \
+ ax_ops/thy_ops.ML ax_ops/thy_syntax.ML \
+ domain/library.ML domain/syntax.ML domain/axioms.ML \
+ domain/theorems.ML domain/extender.ML domain/interface.ML
#Uses cp rather than make_database because Poly/ML allows only 3 levels
$(BIN)/HOLCF: $(BIN)/HOL $(FILES)