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

Makarius makarius at sketis.net
Mon Mar 25 17:21:26 CET 2013

On Mon, 11 Mar 2013, Lars Noschinski wrote:

> Indeed and I'm in happy situation that I'm able to share my sources.
> Unfortunately, due to necessary background theory, this example is quite
> large and depends on autocorres[1] and hence Isabelle 2012.
> [1] http://ssrg.nicta.com.au/projects/TS/autocorres/

Is there a version for Isabelle2013?  Note that Isabelle2012 -> 
Isabelle2013 involves unusually few incompatibilities, so the update would 
spare anybody from struggling with old IsaMakefiles again.


More information about the isabelle-dev mailing list