changeset 44721 | 7f2cbc713344 |
parent 44692 | e07a2c4cbad8 |
child 44727 | d636b053d4ff |
1.1 --- a/src/HOL/TPTP/atp_export.ML Sat Jul 16 20:14:58 2011 +0200 1.2 +++ b/src/HOL/TPTP/atp_export.ML Sat Jul 16 20:52:41 2011 +0200 1.3 @@ -122,7 +122,7 @@ 1.4 " " ^ arguments ctxt false "" (seconds 1.0) (K []) ^ " " ^ 1.5 File.shell_path prob_file 1.6 in 1.7 - TimeLimit.timeLimit (seconds 0.3) bash_output command 1.8 + TimeLimit.timeLimit (seconds 0.3) Isabelle_System.bash_output command 1.9 |> fst 1.10 |> extract_tstplike_proof_and_outcome false true proof_delims 1.11 known_failures