[isabelle-dev] Fwd: [isabelle] Changing definition of finprod
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