equal
deleted
inserted
replaced
208 $(OUT)/HOL-Plain: plain.ML $(PLAIN_DEPENDENCIES) |
208 $(OUT)/HOL-Plain: plain.ML $(PLAIN_DEPENDENCIES) |
209 @$(ISABELLE_TOOL) usedir -b -f plain.ML -g true $(OUT)/Pure HOL-Plain |
209 @$(ISABELLE_TOOL) usedir -b -f plain.ML -g true $(OUT)/Pure HOL-Plain |
210 |
210 |
211 MAIN_DEPENDENCIES = $(PLAIN_DEPENDENCIES) \ |
211 MAIN_DEPENDENCIES = $(PLAIN_DEPENDENCIES) \ |
212 ATP_Linkup.thy \ |
212 ATP_Linkup.thy \ |
213 Code_Eval.thy \ |
213 Code_Evaluation.thy \ |
214 Code_Numeral.thy \ |
214 Code_Numeral.thy \ |
215 Equiv_Relations.thy \ |
215 Equiv_Relations.thy \ |
216 Groebner_Basis.thy \ |
216 Groebner_Basis.thy \ |
217 Hilbert_Choice.thy \ |
217 Hilbert_Choice.thy \ |
218 IntDiv.thy \ |
218 IntDiv.thy \ |