equal
deleted
inserted
replaced
1122 |
1122 |
1123 ## HOL-Mirabelle |
1123 ## HOL-Mirabelle |
1124 |
1124 |
1125 HOL-Mirabelle: HOL $(LOG)/HOL-Mirabelle.gz |
1125 HOL-Mirabelle: HOL $(LOG)/HOL-Mirabelle.gz |
1126 |
1126 |
1127 $(LOG)/HOL-Mirabelle.gz: $(OUT)/HOL Mirabelle/MirabelleTest.thy \ |
1127 $(LOG)/HOL-Mirabelle.gz: $(OUT)/HOL Mirabelle/Mirabelle_Test.thy \ |
1128 Mirabelle/Mirabelle.thy Mirabelle/Tools/mirabelle.ML Mirabelle/ROOT.ML \ |
1128 Mirabelle/Mirabelle.thy Mirabelle/Tools/mirabelle.ML Mirabelle/ROOT.ML \ |
1129 Mirabelle/Tools/mirabelle_arith.ML \ |
1129 Mirabelle/Tools/mirabelle_arith.ML \ |
1130 Mirabelle/Tools/mirabelle_metis.ML \ |
1130 Mirabelle/Tools/mirabelle_metis.ML \ |
1131 Mirabelle/Tools/mirabelle_quickcheck.ML \ |
1131 Mirabelle/Tools/mirabelle_quickcheck.ML \ |
1132 Mirabelle/Tools/mirabelle_refute.ML \ |
1132 Mirabelle/Tools/mirabelle_refute.ML \ |