Summary
- tuned messages
- improved Vampire proof parser
The file was modified | src/HOL/Tools/ATP/atp_proof.ML (diff) |
The file was modified | src/HOL/Tools/ATP/atp_proof.ML (diff) |
The file was modified | src/HOL/Tools/ATP/atp_systems.ML (diff) |
The file was modified | src/HOL/Tools/ATP/atp_proof.ML (diff) |
The file was modified | src/HOL/Tools/ATP/atp_proof.ML (diff) |
The file was modified | src/HOL/Tools/ATP/atp_systems.ML (diff) |