[Attempto] Compact notation for distinctness

[Norbert E. Fuchs]

> On 25 Apr 2021, at 10:07 , Andrii Kurdiumov <kant2002 at googlemail.com> wrote:
> 
> Hi Norbert, and all
> 
> If you would count my opinion, I would not advise having that as a permanent solution. These statements, once generated, would be hard to maintain in practice. Plus you can have more than one DisjointUnions in a single document, and such kind of boilerplate usually affects reader flow.
> 
> Obviously you should take my opinion with a grain of salt, since I'm yet to write any significant document in ACE.  
> 
> Best regards,
> Andrey

Andrii

Thanks for your feedback.

In the meantime I reconsidered my suggestion for a compact notation for distinctness, and came to the conclusion that it is not such a good idea.

Regards.

   --- nef