Summary
- extended TSTP type parser + tuned messages
- added debugging function
The file was modified | src/HOL/Tools/ATP/atp_proof.ML (diff) |
The file was modified | src/HOL/Tools/SMT/z3_proof.ML (diff) |
The file was modified | src/HOL/Tools/ATP/atp_proof.ML (diff) |
The file was modified | src/HOL/Tools/SMT/z3_proof.ML (diff) |