Summary
- added first proof reconstruction test for Sledgehammer
The file was added | src/HOL/Metis_Examples/Sledgehammer_Isar_Proofs.certs |
The file was added | src/HOL/Metis_Examples/Sledgehammer_Isar_Proofs.thy |
The file was modified | src/HOL/ROOT (diff) |
The file was added | src/HOL/Metis_Examples/Sledgehammer_Isar_Proofs.certs |
The file was added | src/HOL/Metis_Examples/Sledgehammer_Isar_Proofs.thy |
The file was modified | src/HOL/ROOT (diff) |