[isabelle-dev] Products over lists – naming convention for big sums and products.

[Lawrence Paulson]

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 <hoelzl at in.tum.de> wrote:

> 
> Why Sum and not Sum_set in c)? Is the intention that the canonical type
> always gets the short name? Like map instead of map_list.