Summary
- tuned Mirabelle
- merged
- refactored Mirabelle to produce output in real time
The file was modified | src/HOL/Tools/Mirabelle/mirabelle.ML (diff) |
The file was modified | src/HOL/Tools/Mirabelle/mirabelle.scala (diff) |
The file was modified | src/HOL/Tools/Mirabelle/mirabelle_sledgehammer.ML (diff) |
The file was modified | src/HOL/Mirabelle.thy (diff) |
The file was modified | src/HOL/Tools/Mirabelle/mirabelle.ML (diff) |
The file was modified | src/HOL/Tools/Mirabelle/mirabelle.scala (diff) |
The file was modified | src/HOL/Tools/Mirabelle/mirabelle_arith.ML (diff) |
The file was modified | src/HOL/Tools/Mirabelle/mirabelle_metis.ML (diff) |
The file was modified | src/HOL/Tools/Mirabelle/mirabelle_quickcheck.ML (diff) |
The file was modified | src/HOL/Tools/Mirabelle/mirabelle_sledgehammer.ML (diff) |
The file was modified | src/HOL/Tools/Mirabelle/mirabelle_sledgehammer_filter.ML (diff) |
The file was modified | src/HOL/Tools/Mirabelle/mirabelle_try0.ML (diff) |
The file was modified | src/HOL/Tools/etc/options (diff) |