equal
deleted
inserted
replaced
239 Tools/sat_funcs.ML \ |
239 Tools/sat_funcs.ML \ |
240 Tools/sat_solver.ML \ |
240 Tools/sat_solver.ML \ |
241 Tools/split_rule.ML \ |
241 Tools/split_rule.ML \ |
242 Tools/try.ML \ |
242 Tools/try.ML \ |
243 Tools/typedef.ML \ |
243 Tools/typedef.ML \ |
244 Tools/type_lifting.ML \ |
244 Tools/enriched_type.ML \ |
245 Transitive_Closure.thy \ |
245 Transitive_Closure.thy \ |
246 Typedef.thy \ |
246 Typedef.thy \ |
247 Wellfounded.thy |
247 Wellfounded.thy |
248 |
248 |
249 $(OUT)/HOL-Plain: plain.ML $(PLAIN_DEPENDENCIES) |
249 $(OUT)/HOL-Plain: plain.ML $(PLAIN_DEPENDENCIES) |