[isabelle-dev] NEWS: elimination rules for recursive functions and new command fun_cases
makarius at sketis.net
Mon Sep 30 14:41:10 CEST 2013
On Mon, 30 Sep 2013, Manuel Eberl wrote:
> On 30/09/13 11:49, Makarius wrote:
>> 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?
> Of course. Here you go.
Thanks. This is now Isabelle/d8f7f3d998de.
More information about the isabelle-dev