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

Lawrence Paulson lp15 at cam.ac.uk
Wed Sep 24 13:44:55 CEST 2014

One could argue that sets are the canonical indexing structure. On the other hand, we have syntax to make the actual names irrelevant.


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.

More information about the isabelle-dev mailing list