changeset 59720 | f893472fff31 |
parent 56281 | 03c3d1a7c3b8 |
child 60649 | e007aa6a8aa2 |
59719:6410a310fdc2 | 59720:f893472fff31 |
---|---|
1 (* Title: HOL/TPTP/TPTP_Proof_Reconstruction.thy |
1 (* Title: HOL/TPTP/TPTP_Proof_Reconstruction_Test_Units.thy |
2 Author: Nik Sultana, Cambridge University Computer Laboratory |
2 Author: Nik Sultana, Cambridge University Computer Laboratory |
3 |
3 |
4 Unit tests for proof reconstruction module. |
4 Unit tests for proof reconstruction module. |
5 |
5 |
6 NOTE |
6 NOTE |