changeset 38047 | 9033c03cc214 |
parent 38046 | 6659c15e7421 |
child 38088 | a9847fb539dd |
38046:6659c15e7421 | 38047:9033c03cc214 |
---|---|
1 (* Title: HOL/Tools/ATP_Manager/atp_problem.ML |
1 (* Title: HOL/Tools/ATP/atp_problem.ML |
2 Author: Jia Meng, Cambridge University Computer Laboratory and NICTA |
2 Author: Jia Meng, Cambridge University Computer Laboratory and NICTA |
3 Author: Jasmin Blanchette, TU Muenchen |
3 Author: Jasmin Blanchette, TU Muenchen |
4 |
4 |
5 TPTP syntax. |
5 TPTP syntax. |
6 *) |
6 *) |