src/HOL/Tools/ATP_Manager/atp_manager.ML
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;