src/HOL/TPTP/ATP_Problem_Import.thy
changeset 47788 44b33c1e702e
parent 47785 d27bb852c430
child 47790 2e1636e45770
     1.1 --- a/src/HOL/TPTP/ATP_Problem_Import.thy	Fri Apr 27 13:18:55 2012 +0200
     1.2 +++ b/src/HOL/TPTP/ATP_Problem_Import.thy	Fri Apr 27 13:19:21 2012 +0200
     1.3 @@ -16,7 +16,7 @@
     1.4  declare [[smt_oracle]]
     1.5  
     1.6  (*
     1.7 -ML {* ATP_Problem_Import.isabelle_tptp_file 100 "$TPTP/Problems/PUZ/PUZ107^5.p" *}
     1.8 +ML {* ATP_Problem_Import.isabelle_tptp_file 300 "$TPTP/Problems/PUZ/PUZ107^5.p" *}
     1.9  *)
    1.10  
    1.11  end