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