equal
deleted
inserted
replaced
1293 Mirabelle/Mirabelle.thy Mirabelle/Tools/mirabelle.ML \ |
1293 Mirabelle/Mirabelle.thy Mirabelle/Tools/mirabelle.ML \ |
1294 Mirabelle/ROOT.ML Mirabelle/Tools/mirabelle_arith.ML \ |
1294 Mirabelle/ROOT.ML Mirabelle/Tools/mirabelle_arith.ML \ |
1295 Mirabelle/Tools/mirabelle_metis.ML \ |
1295 Mirabelle/Tools/mirabelle_metis.ML \ |
1296 Mirabelle/Tools/mirabelle_quickcheck.ML \ |
1296 Mirabelle/Tools/mirabelle_quickcheck.ML \ |
1297 Mirabelle/Tools/mirabelle_refute.ML \ |
1297 Mirabelle/Tools/mirabelle_refute.ML \ |
1298 Mirabelle/Tools/mirabelle_sledgehammer.ML |
1298 Mirabelle/Tools/mirabelle_sledgehammer.ML \ |
|
1299 Mirabelle/Tools/sledgehammer_tactic.ML |
1299 @$(ISABELLE_TOOL) usedir $(OUT)/HOL Mirabelle |
1300 @$(ISABELLE_TOOL) usedir $(OUT)/HOL Mirabelle |
1300 |
1301 |
1301 |
1302 |
1302 ## HOL-Word-SMT_Examples |
1303 ## HOL-Word-SMT_Examples |
1303 |
1304 |