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_Message.thy \ |
|
210 Equiv_Relations.thy \ |
209 Equiv_Relations.thy \ |
211 Groebner_Basis.thy \ |
210 Groebner_Basis.thy \ |
212 Hilbert_Choice.thy \ |
211 Hilbert_Choice.thy \ |
213 IntDiv.thy \ |
212 IntDiv.thy \ |
214 Int.thy \ |
213 Int.thy \ |
218 Map.thy \ |
217 Map.thy \ |
219 Nat_Numeral.thy \ |
218 Nat_Numeral.thy \ |
220 Presburger.thy \ |
219 Presburger.thy \ |
221 Recdef.thy \ |
220 Recdef.thy \ |
222 SetInterval.thy \ |
221 SetInterval.thy \ |
|
222 String.thy \ |
223 $(SRC)/Provers/Arith/assoc_fold.ML \ |
223 $(SRC)/Provers/Arith/assoc_fold.ML \ |
224 $(SRC)/Provers/Arith/cancel_numeral_factor.ML \ |
224 $(SRC)/Provers/Arith/cancel_numeral_factor.ML \ |
225 $(SRC)/Provers/Arith/cancel_numerals.ML \ |
225 $(SRC)/Provers/Arith/cancel_numerals.ML \ |
226 $(SRC)/Provers/Arith/combine_numerals.ML \ |
226 $(SRC)/Provers/Arith/combine_numerals.ML \ |
227 $(SRC)/Provers/Arith/extract_common_term.ML \ |
227 $(SRC)/Provers/Arith/extract_common_term.ML \ |