equal
deleted
inserted
replaced
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 ATP_Linkup.thy \ |
207 ATP_Linkup.thy \ |
208 Code_Eval.thy \ |
208 Code_Eval.thy \ |
209 Code_Index.thy \ |
209 Code_Numeral.thy \ |
210 Equiv_Relations.thy \ |
210 Equiv_Relations.thy \ |
211 Groebner_Basis.thy \ |
211 Groebner_Basis.thy \ |
212 Hilbert_Choice.thy \ |
212 Hilbert_Choice.thy \ |
213 IntDiv.thy \ |
213 IntDiv.thy \ |
214 Int.thy \ |
214 Int.thy \ |