| #
e60cf64d |
|
06-Jan-2019 |
wenzelm <none@none> |
isabelle update -u path_cartouches;
|
| #
66281660 |
|
26-May-2016 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
| #
794edf80 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header uniformly as section;
|
| #
e3227796 |
|
22-Aug-2012 |
wenzelm <none@none> |
prefer ML_file over old uses;
|
| #
669ee4ee |
|
06-May-2012 |
blanchet <none@none> |
added "try0" tool to Mirabelle
|
| #
1204e96e |
|
24-Apr-2012 |
sultana <none@none> |
reversed Tools to Actions Mirabelle renaming;
--HG--
rename : src/HOL/Mirabelle/Actions/mirabelle.ML => src/HOL/Mirabelle/Tools/mirabelle.ML
rename : src/HOL/Mirabelle/Actions/mirabelle_arith.ML => src/HOL/Mirabelle/Tools/mirabelle_arith.ML
rename : src/HOL/Mirabelle/Actions/mirabelle_metis.ML => src/HOL/Mirabelle/Tools/mirabelle_metis.ML
rename : src/HOL/Mirabelle/Actions/mirabelle_quickcheck.ML => src/HOL/Mirabelle/Tools/mirabelle_quickcheck.ML
rename : src/HOL/Mirabelle/Actions/mirabelle_refute.ML => src/HOL/Mirabelle/Tools/mirabelle_refute.ML
rename : src/HOL/Mirabelle/Actions/mirabelle_sledgehammer.ML => src/HOL/Mirabelle/Tools/mirabelle_sledgehammer.ML
rename : src/HOL/Mirabelle/Actions/mirabelle_sledgehammer_filter.ML => src/HOL/Mirabelle/Tools/mirabelle_sledgehammer_filter.ML
|
| #
9f573af9 |
|
14-Apr-2012 |
sultana <none@none> |
renamed mirabelle Tools directory to Actions, to make consistent with 'usage' description;
--HG--
rename : src/HOL/Mirabelle/Tools/mirabelle.ML => src/HOL/Mirabelle/Actions/mirabelle.ML
rename : src/HOL/Mirabelle/Tools/mirabelle_arith.ML => src/HOL/Mirabelle/Actions/mirabelle_arith.ML
rename : src/HOL/Mirabelle/Tools/mirabelle_metis.ML => src/HOL/Mirabelle/Actions/mirabelle_metis.ML
rename : src/HOL/Mirabelle/Tools/mirabelle_quickcheck.ML => src/HOL/Mirabelle/Actions/mirabelle_quickcheck.ML
rename : src/HOL/Mirabelle/Tools/mirabelle_refute.ML => src/HOL/Mirabelle/Actions/mirabelle_refute.ML
rename : src/HOL/Mirabelle/Tools/mirabelle_sledgehammer.ML => src/HOL/Mirabelle/Actions/mirabelle_sledgehammer.ML
rename : src/HOL/Mirabelle/Tools/mirabelle_sledgehammer_filter.ML => src/HOL/Mirabelle/Actions/mirabelle_sledgehammer_filter.ML
|
| #
040bdce9 |
|
21-Dec-2010 |
blanchet <none@none> |
renamed "sledgehammer_tactic.ML" to "sledgehammer_tactics.ML" (cf. module name);
use it in "Mirabelle.thy"
--HG--
rename : src/HOL/Mirabelle/Tools/sledgehammer_tactic.ML => src/HOL/Mirabelle/Tools/sledgehammer_tactics.ML
|
| #
3c47c037 |
|
22-Nov-2010 |
bulwahn <none@none> |
adding dependencies to IsaMakefile; adding sledgehammer_tactic in Mirabelle_Test
|
| #
2398cc93 |
|
30-Aug-2010 |
blanchet <none@none> |
added evaluation method for relevance filter
|
| #
90d0994a |
|
12-Sep-2009 |
wenzelm <none@none> |
standard headers and text sections;
|
| #
a8b08203 |
|
04-Sep-2009 |
boehmes <none@none> |
tuned
--HG--
rename : src/HOL/Mirabelle/MirabelleTest.thy => src/HOL/Mirabelle/Mirabelle_Test.thy
|