Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- merged
- merged
- Added tag Isabelle2020-RC5 for changeset 8ed68b2aeba1
- more robust: notably for sledgehammer with 'using' and prover=cvc4;
The file was modified | .hgtags |
The file was modified | src/Pure/Isar/subgoal.ML |