[isabelle-dev] Safe approach to hypothesis substitution mark II

Makarius makarius at sketis.net
Wed Jan 15 16:00:49 CET 2014

On Tue, 14 Jan 2014, Thomas Sewell wrote:

> This is also a patch against Isabelle2013-1.

Is that just a typo, or are you still using that failed release?  The 
current one is Isabelle2013-2, and it does not introduce any 
incompatibilities over Isabelle2013-1, so there is no reason to keep using 


More information about the isabelle-dev mailing list