--- a/src/HOL/Tools/atp_wrapper.ML Sat Apr 25 20:05:21 2009 +0200
+++ b/src/HOL/Tools/atp_wrapper.ML Sat Apr 25 20:31:27 2009 +0200
@@ -1,5 +1,4 @@
(* Title: HOL/Tools/atp_wrapper.ML
- ID: $Id$
Author: Fabian Immler, TU Muenchen
Wrapper functions for external ATPs.
@@ -179,7 +178,7 @@
fun remote_prover_opts max_new theory_const args timeout =
tptp_prover_opts max_new theory_const
- (Path.explode "$ISABELLE_HOME/contrib/SystemOnTPTP/remote", args ^ " -t " ^ string_of_int timeout)
+ (Path.explode "$ISABELLE_HOME/lib/scripts/SystemOnTPTP", args ^ " -t " ^ string_of_int timeout)
timeout;
val remote_prover = remote_prover_opts 60 false;