Re: [isabelle] finite order allows maxima



> Maybe Min/Max (on finite sets) could be defined for arbitrary orders
> instead of just linear orders as currently?

See Manuel's answer.

	Florian

Attachment: signature.asc
Description: OpenPGP digital signature



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.