equal
deleted
inserted
replaced
145 $(SRC)/Tools/project_rule.ML \ |
145 $(SRC)/Tools/project_rule.ML \ |
146 $(SRC)/Tools/quickcheck.ML \ |
146 $(SRC)/Tools/quickcheck.ML \ |
147 $(SRC)/Tools/solve_direct.ML \ |
147 $(SRC)/Tools/solve_direct.ML \ |
148 $(SRC)/Tools/value.ML \ |
148 $(SRC)/Tools/value.ML \ |
149 HOL.thy \ |
149 HOL.thy \ |
150 Tools/functorial_mappers.ML \ |
150 Tools/type_mapper.ML \ |
151 Tools/hologic.ML \ |
151 Tools/hologic.ML \ |
152 Tools/recfun_codegen.ML \ |
152 Tools/recfun_codegen.ML \ |
153 Tools/simpdata.ML |
153 Tools/simpdata.ML |
154 |
154 |
155 $(OUT)/HOL-Base: base.ML $(BASE_DEPENDENCIES) |
155 $(OUT)/HOL-Base: base.ML $(BASE_DEPENDENCIES) |