src/HOL/Tools/ATP_Manager/atp_minimal.ML
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-09-14 nipkow 2009-09-14 count number of iterations required for minimization (and fixed bug: minimization was always called)
2009-09-07 nipkow 2009-09-07 Fixed "minimal" to cover the case that "p []" holds (excluded in the article by Bradley & Manna)
2009-09-05 boehmes 2009-09-05 added signature ATP_MINIMAL, fixed AtpMinimal.minimalize for the trivial case, Mirabelle: added an option to minimize a theorem set found by sledgehammer, use timeout of sledgehammer instead of additional timeLimit
2009-09-03 boehmes 2009-09-03 added runtime information to sledgehammer
2009-08-04 wenzelm 2009-08-04 src/HOL/Tools/ATP_Manager as separate component, with (almost) everything in one place;