[isabelle-dev] Feature suggestion: apply (meth[1!])

[Makarius]

On Sun, 10 Mar 2013, Lars Noschinski wrote:

> There is definitely an use case for such an operation. When doing 
> program verification, I often have long sequences of apply commands. 
> These are either applications of the VCG or (mostly) oneliners to solve 
> the verification conditions.

Can you also show me the concrete sources?  Isabelle has so many ways to 
do things.


 	Makarius