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

Lars Noschinski noschinl at in.tum.de
Mon Mar 25 18:01:09 CET 2013

On 25.03.2013 17:21, Makarius wrote:
> 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.

Not that I know of. But maybe David has already ported it?

   -- Lars

More information about the isabelle-dev mailing list