src/HOL/Tools/atp_wrapper.ML
Thu, 26 Feb 2009 10:13:43 +0100 immler removed global ref dfg_format
Fri, 20 Feb 2009 16:48:01 +0100 immler changed message
Fri, 20 Feb 2009 11:04:18 +0100 immler detailed information on atp-failure via Output.debug
Wed, 21 Jan 2009 14:57:33 +0100 immler tuned;
Tue, 20 Jan 2009 20:58:08 +0100 immler pass timeout to prover;
Tue, 20 Jan 2009 16:05:57 +0100 immler modified remote script;
Mon, 12 Jan 2009 16:16:05 +0100 immler simplified usage of remote-script; added compatible remote-atps
Tue, 14 Oct 2008 20:10:45 +0200 wenzelm tuned interfaces -- plain prover function, without thread;
Tue, 14 Oct 2008 16:01:36 +0200 wenzelm renamed AtpThread to AtpWrapper;
less more (0) tip