src/HOL/Mirabelle/Mirabelle.thy
2012-09-24 wenzelm 2012-09-24 discontinued futile attempt to hardwire build options into the image, sequential mode is enabled more robustly at runtime (cf. 3b0a60eee56e);
2012-08-22 wenzelm 2012-08-22 prefer ML_file over old uses;
2012-04-27 blanchet 2012-04-27 move file to where it belongs
2012-04-24 sultana 2012-04-24 reversed Tools to Actions Mirabelle renaming;
2012-04-14 sultana 2012-04-14 renamed mirabelle Tools directory to Actions, to make consistent with 'usage' description;
2011-05-02 wenzelm 2011-05-02 added Attrib.setup_config_XXX conveniences, with implicit setup of the background theory; proper name bindings;
2011-03-23 blanchet 2011-03-23 move "TPTP" wrapper and "Sledgehammer as a tactic" to "HOL/ex" default to "e" rather than "vampire" since E is part of the Isabelle bundle
2010-12-21 blanchet 2010-12-21 renamed "sledgehammer_tactic.ML" to "sledgehammer_tactics.ML" (cf. module name); use it in "Mirabelle.thy"
2010-09-06 wenzelm 2010-09-06 some results of concurrency code inspection;
2009-09-12 wenzelm 2009-09-12 standard headers and text sections;
2009-09-02 boehmes 2009-09-02 moved Mirabelle from HOL/Tools to HOL, added session HOL-Mirabelle