equal
deleted
inserted
replaced
232 |
232 |
233 $(OUT)/HOL-Plain: plain.ML $(PLAIN_DEPENDENCIES) |
233 $(OUT)/HOL-Plain: plain.ML $(PLAIN_DEPENDENCIES) |
234 @$(ISABELLE_TOOL) usedir -b -f plain.ML -g true $(OUT)/Pure HOL-Plain |
234 @$(ISABELLE_TOOL) usedir -b -f plain.ML -g true $(OUT)/Pure HOL-Plain |
235 |
235 |
236 MAIN_DEPENDENCIES = $(PLAIN_DEPENDENCIES) \ |
236 MAIN_DEPENDENCIES = $(PLAIN_DEPENDENCIES) \ |
|
237 ATP.thy \ |
237 Big_Operators.thy \ |
238 Big_Operators.thy \ |
238 Code_Evaluation.thy \ |
239 Code_Evaluation.thy \ |
239 Code_Numeral.thy \ |
240 Code_Numeral.thy \ |
240 Divides.thy \ |
241 Divides.thy \ |
241 DSequence.thy \ |
242 DSequence.thy \ |