equal
deleted
inserted
replaced
202 |
202 |
203 $(OUT)/HOL-Plain: plain.ML $(PLAIN_DEPENDENCIES) |
203 $(OUT)/HOL-Plain: plain.ML $(PLAIN_DEPENDENCIES) |
204 @$(ISABELLE_TOOL) usedir -b -f plain.ML -g true $(OUT)/Pure HOL-Plain |
204 @$(ISABELLE_TOOL) usedir -b -f plain.ML -g true $(OUT)/Pure HOL-Plain |
205 |
205 |
206 MAIN_DEPENDENCIES = $(PLAIN_DEPENDENCIES) \ |
206 MAIN_DEPENDENCIES = $(PLAIN_DEPENDENCIES) \ |
207 Arith_Tools.thy \ |
|
208 ATP_Linkup.thy \ |
207 ATP_Linkup.thy \ |
209 Code_Eval.thy \ |
208 Code_Eval.thy \ |
210 Code_Message.thy \ |
209 Code_Message.thy \ |
211 Equiv_Relations.thy \ |
210 Equiv_Relations.thy \ |
212 Groebner_Basis.thy \ |
211 Groebner_Basis.thy \ |