| changeset 47785 | d27bb852c430 |
| parent 47770 | 53e30966b4b6 |
| child 47788 | 44b33c1e702e |
--- a/src/HOL/TPTP/ATP_Problem_Import.thy Thu Apr 26 21:58:16 2012 +0200 +++ b/src/HOL/TPTP/ATP_Problem_Import.thy Fri Apr 27 12:16:10 2012 +0200 @@ -15,4 +15,8 @@ declare [[show_consts]] (* for Refute *) declare [[smt_oracle]] +(* +ML {* ATP_Problem_Import.isabelle_tptp_file 100 "$TPTP/Problems/PUZ/PUZ107^5.p" *} +*) + end