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 the short name? Like map instead of map_list. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev