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

[Makarius]

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.


 	Makarius