* Proof method "blast" is more robust wrt. corner cases of Pure statements without object-logic judgment.
This refers to Isabelle/8bbd325e89e6, the relevant changes are by Larry
(9a2377b96ffd, d2d26ff708d7).
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
