changeset 46879 | a8b1236e0837 |
parent 46844 | 5d9aab0c609c |
child 46951 | 4e032ac36134 |
46878:d4fdc61d9336 | 46879:a8b1236e0837 |
---|---|
1 (* Title: HOL/TPTP/?/tptp_interpret.ML |
1 (* Title: HOL/TPTP/TPTP_Parser/tptp_interpret.ML |
2 Author: Nik Sultana, Cambridge University Computer Laboratory |
2 Author: Nik Sultana, Cambridge University Computer Laboratory |
3 |
3 |
4 Interprets TPTP problems in Isabelle/HOL. |
4 Interprets TPTP problems in Isabelle/HOL. |
5 *) |
5 *) |
6 |
6 |