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/sledgehammer_tactic.ML |
1317 Mirabelle/Tools/sledgehammer_tactics.ML |
1318 @$(ISABELLE_TOOL) usedir $(OUT)/HOL Mirabelle |
1318 @$(ISABELLE_TOOL) usedir $(OUT)/HOL Mirabelle |
1319 |
1319 |
1320 |
1320 |
1321 ## HOL-Word-SMT_Examples |
1321 ## HOL-Word-SMT_Examples |
1322 |
1322 |