2009-10-18 wenzelm 2009-10-18 tuned;
2009-10-16 wenzelm 2009-10-16 made SML/NJ happy;
2009-10-15 wenzelm 2009-10-15 natural argument order for prover; renamed atp_problem to problem; standard naming convention for the_system;
2009-10-15 wenzelm 2009-10-15 ATP_Manager.get_prover: canonical argument order; eliminated various aliases of existing operations, notably Output channels; tuned messages; misc tuning and clarification;
2009-10-15 wenzelm 2009-10-15 eliminated extraneous wrapping of public records; tuned;
2009-10-15 wenzelm 2009-10-15 renamed functor HeapFun to Heap;
2009-10-15 wenzelm 2009-10-15 misc tuning and clarification;
2009-10-15 wenzelm 2009-10-15 structure ATP_Manager: eliminated slightly odd get/set operations in favour of Unsynchronized.ref; uniform interpretation of ATP_Manager.atps via ATP_Manager.get_atps;
2009-10-14 wenzelm 2009-10-14 modernized structure names;
2009-10-03 boehmes 2009-10-03 merged
2009-10-03 boehmes 2009-10-03 re-organized signature of AtpWrapper structure: records instead of unnamed parameters and return values, eliminated unused provers, turned references into configuration values
2009-10-02 wenzelm 2009-10-02 eliminated dead code; tuned;
2009-10-01 nipkow 2009-10-01 made spass additional default prover
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-09-03 boehmes 2009-09-03 added runtime information to sledgehammer
2009-08-29 boehmes 2009-08-29 propagate theorem names, in addition to generated return message
2009-08-04 wenzelm 2009-08-04 src/HOL/Tools/ATP_Manager as separate component, with (almost) everything in one place;