equal
deleted
inserted
replaced
177 $(SRC)/Tools/code/code_ml.ML \ |
177 $(SRC)/Tools/code/code_ml.ML \ |
178 $(SRC)/Tools/code/code_haskell.ML \ |
178 $(SRC)/Tools/code/code_haskell.ML \ |
179 $(SRC)/Tools/code/code_thingol.ML \ |
179 $(SRC)/Tools/code/code_thingol.ML \ |
180 $(SRC)/Tools/induct.ML \ |
180 $(SRC)/Tools/induct.ML \ |
181 $(SRC)/Tools/induct_tacs.ML \ |
181 $(SRC)/Tools/induct_tacs.ML \ |
|
182 $(SRC)/Tools/value.ML \ |
182 $(SRC)/Tools/nbe.ML \ |
183 $(SRC)/Tools/nbe.ML \ |
183 $(SRC)/Tools/random_word.ML \ |
184 $(SRC)/Tools/random_word.ML \ |
184 $(SRC)/Tools/rat.ML |
185 $(SRC)/Tools/rat.ML |
185 |
186 |
186 $(OUT)/HOL-Plain: plain.ML $(PLAIN_DEPENDENCIES) |
187 $(OUT)/HOL-Plain: plain.ML $(PLAIN_DEPENDENCIES) |