[isabelle-dev] Fwd: [isabelle] Changing definition of finprod

Makarius makarius at sketis.net
Fri Apr 17 14:29:27 CEST 2015

On Fri, 17 Apr 2015, Larry Paulson wrote:

> This sounds like a good proposal to me. Do we have time before the fork?
>> Begin forwarded message:
>> From: "Thiemann, Rene" <Rene.Thiemann at uibk.ac.at>
>> Subject: [isabelle] Changing definition of finprod
>> Date: 17 April 2015 10:55:32 BST
>> To: Cl-isabelle Users <cl-isabelle-users at lists.cam.ac.uk>
>> I tested everything with Isabelle 8614f8f0fb4b and AFP 7c57eabaad4b.

I will take care of that.

We have yet another confusion of the mailing lists.  The most simple 
syntactic check is this: if it is about particular changesets for 
particular repository versions it is for isabelle-dev; anything else about 
official releases or release candidates is for isabelle-users.


More information about the isabelle-dev mailing list