[isabelle-dev] NEWS: elimination rules for recursive functions and new command fun_cases

Makarius makarius at sketis.net
Mon Sep 30 11:49:43 CEST 2013

On Mon, 23 Sep 2013, Manuel Eberl wrote:

> I sent my changes to Alexander Krauss last Wednesday so that he can 
> review them.

We are now getting very close to the fork-point for the release.  So can 
you just post the changeset here, or send it to me privately?


More information about the isabelle-dev mailing list