equal
deleted
inserted
replaced
169 $(OUT)/HOL-Base: base.ML $(BASE_DEPENDENCIES) |
169 $(OUT)/HOL-Base: base.ML $(BASE_DEPENDENCIES) |
170 @$(ISABELLE_TOOL) usedir -b -f base.ML -d false -g false $(OUT)/Pure HOL-Base |
170 @$(ISABELLE_TOOL) usedir -b -f base.ML -d false -g false $(OUT)/Pure HOL-Base |
171 |
171 |
172 PLAIN_DEPENDENCIES = $(BASE_DEPENDENCIES) \ |
172 PLAIN_DEPENDENCIES = $(BASE_DEPENDENCIES) \ |
173 $(SRC)/Provers/Arith/cancel_div_mod.ML \ |
173 $(SRC)/Provers/Arith/cancel_div_mod.ML \ |
174 $(SRC)/Provers/Arith/cancel_sums.ML \ |
|
175 $(SRC)/Provers/Arith/fast_lin_arith.ML \ |
174 $(SRC)/Provers/Arith/fast_lin_arith.ML \ |
176 $(SRC)/Provers/order.ML \ |
175 $(SRC)/Provers/order.ML \ |
177 $(SRC)/Provers/trancl.ML \ |
176 $(SRC)/Provers/trancl.ML \ |
178 $(SRC)/Tools/Metis/metis.ML \ |
177 $(SRC)/Tools/Metis/metis.ML \ |
179 $(SRC)/Tools/rat.ML \ |
178 $(SRC)/Tools/rat.ML \ |