equal
deleted
inserted
replaced
1312 Mirabelle/ROOT.ML Mirabelle/Tools/mirabelle_arith.ML \ |
1312 Mirabelle/ROOT.ML Mirabelle/Tools/mirabelle_arith.ML \ |
1313 Mirabelle/Tools/mirabelle_metis.ML \ |
1313 Mirabelle/Tools/mirabelle_metis.ML \ |
1314 Mirabelle/Tools/mirabelle_quickcheck.ML \ |
1314 Mirabelle/Tools/mirabelle_quickcheck.ML \ |
1315 Mirabelle/Tools/mirabelle_refute.ML \ |
1315 Mirabelle/Tools/mirabelle_refute.ML \ |
1316 Mirabelle/Tools/mirabelle_sledgehammer.ML \ |
1316 Mirabelle/Tools/mirabelle_sledgehammer.ML \ |
|
1317 Mirabelle/Tools/mirabelle_sledgehammer_filter.ML \ |
1317 Mirabelle/Tools/sledgehammer_tactics.ML |
1318 Mirabelle/Tools/sledgehammer_tactics.ML |
1318 @$(ISABELLE_TOOL) usedir $(OUT)/HOL Mirabelle |
1319 @$(ISABELLE_TOOL) usedir $(OUT)/HOL Mirabelle |
1319 |
1320 |
1320 |
1321 |
1321 ## HOL-Word-SMT_Examples |
1322 ## HOL-Word-SMT_Examples |