![[Jenkins]](/jenkins/static/98dcae99/images/svgs/logo.svg){kind=logo}
Summary
- better integration with sledgehammer. other minor changes.
| The file was modified | thys/Proof_Strategy_Language/Constructor_Class.ML (diff) |
| The file was modified | thys/Proof_Strategy_Language/Dynamic_Tactic_Generation.ML (diff) |
| The file was modified | thys/Proof_Strategy_Language/Example.thy (diff) |
| The file was modified | thys/Proof_Strategy_Language/Instantiation.ML (diff) |
| The file was modified | thys/Proof_Strategy_Language/Isar_Interface.ML (diff) |
| The file was modified | thys/Proof_Strategy_Language/Monadic_Prover.ML (diff) |
| The file was modified | thys/Proof_Strategy_Language/PSL.thy (diff) |
| The file was modified | thys/Proof_Strategy_Language/PSL_Parser.ML (diff) |
| The file was modified | thys/Proof_Strategy_Language/ROOT (diff) |
| The file was modified | thys/Proof_Strategy_Language/Subtool.ML (diff) |
| The file was modified | thys/Proof_Strategy_Language/Try_Hard.thy (diff) |
| The file was modified | thys/Proof_Strategy_Language/Utils.ML (diff) |