* 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