Am Donnerstag, den 18.09.2014, 15:47 +0200 schrieb Florian Haftmann:
Changeset #fe083c681ed8 introduces products over lists. There has been
some private discussion whether there could be a serious attempt to
establish a new consistent naming scheme for summation and products over
collections.
One could argue that sets are the canonical indexing structure. On the other
hand, we have syntax to make the actual names irrelevant.
Larry
On 24 Sep 2014, at 11:18, Johannes Hölzl hoe...@in.tum.de wrote:
Why Sum and not Sum_set in c)? Is the intention that the canonical type
always gets
Hi,
I use Isabelle for teaching and it was installed by an adjustment to the
web-distribution for our Linux machines.
Now, I will need to use a lab running on Window, s and that created a few
issues I couldn’t help our support team much.
1) distributed config setup:
Is there any suggested /