equal
deleted
inserted
replaced
369 Tools/Quotient/quotient_term.ML \ |
369 Tools/Quotient/quotient_term.ML \ |
370 Tools/Quotient/quotient_type.ML \ |
370 Tools/Quotient/quotient_type.ML \ |
371 Tools/record.ML \ |
371 Tools/record.ML \ |
372 Tools/semiring_normalizer.ML \ |
372 Tools/semiring_normalizer.ML \ |
373 Tools/Sledgehammer/async_manager.ML \ |
373 Tools/Sledgehammer/async_manager.ML \ |
|
374 Tools/Sledgehammer/sledgehammer_fact.ML \ |
374 Tools/Sledgehammer/sledgehammer_filter.ML \ |
375 Tools/Sledgehammer/sledgehammer_filter.ML \ |
|
376 Tools/Sledgehammer/sledgehammer_filter_iter.ML \ |
|
377 Tools/Sledgehammer/sledgehammer_filter_mash.ML \ |
375 Tools/Sledgehammer/sledgehammer_minimize.ML \ |
378 Tools/Sledgehammer/sledgehammer_minimize.ML \ |
376 Tools/Sledgehammer/sledgehammer_isar.ML \ |
379 Tools/Sledgehammer/sledgehammer_isar.ML \ |
377 Tools/Sledgehammer/sledgehammer_provers.ML \ |
380 Tools/Sledgehammer/sledgehammer_provers.ML \ |
378 Tools/Sledgehammer/sledgehammer_run.ML \ |
381 Tools/Sledgehammer/sledgehammer_run.ML \ |
379 Tools/Sledgehammer/sledgehammer_util.ML \ |
382 Tools/Sledgehammer/sledgehammer_util.ML \ |